15:33 <Aaponator> oletetaan että hevonen = eläin
15:33 <Aaponator> jolloin
15:33 <Aaponator> eläin = hevonen
15:33 <Aaponator> ja koska koira on eläin
15:33 <Aaponator> koira = eläin
15:33 <Aaponator> koira = eläin = hevonen
15:33 <Aaponator> koira = hevonen
15:38 <Aaponator> koska edellinen väite, koira = hevonen ei pidä paikkansa
15:38 <Aaponator> voidaan olettaa että hevonen = eläin ei myöskään pidä paikkaansa
15:39 <Aaponator> sensijaan hevonen = hevonen pitää paikkansa
15:39 <Aaponator> johtopäätös: hevonen ei ole eläin, vaan hevonen.