「このみねみちょLv.93は通い出すし格好良い」ということは嘘だ
fact1: このみねみちょLv.93は格好良い fact2: そのぷにょぷいLv.75が座り易いし直せるとしたらこのみねみちょLv.93は快くない fact3: もしもなんらかのモンスターは快くないなら「それは通い出すし格好良い」ということは誤りである fact4: もしもそのぷにょぷいLv.75が快くないならこのみねみちょLv.93は通い出すがしかし骨っぽくない fact5: そのぷにょぷいLv.75は快くない fact6: このみねみちょLv.93は骨っぽくない
fact4 & fact5 -> int1: このみねみちょLv.93は通い出すけどそれは骨っぽいということはない; int1 -> int2: このみねみちょLv.93は通い出す; int2 & fact1 -> hypothesis;
fact4 & fact5 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: {AA}{b}; int2 & fact1 -> hypothesis;
「このみねみちょLv.93は通い出すし格好良い」ということは嘘だ
fact7 -> int3: もしこのみねみちょLv.93は快くないとすれば「「このみねみちょLv.93は通い出すし格好良い」ということは事実と異なる」ということは事実だ;
$facts$ = fact1: このみねみちょLv.93は格好良い fact2: そのぷにょぷいLv.75が座り易いし直せるとしたらこのみねみちょLv.93は快くない fact3: もしもなんらかのモンスターは快くないなら「それは通い出すし格好良い」ということは誤りである fact4: もしもそのぷにょぷいLv.75が快くないならこのみねみちょLv.93は通い出すがしかし骨っぽくない fact5: そのぷにょぷいLv.75は快くない fact6: このみねみちょLv.93は骨っぽくない ; $hypothesis$ = 「このみねみちょLv.93は通い出すし格好良い」ということは嘘だ ; $proof$ = 
fact4 & fact5 -> int1: このみねみちょLv.93は通い出すけどそれは骨っぽいということはない; int1 -> int2: このみねみちょLv.93は通い出す; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: {AA}{b}; int2 & fact1 -> hypothesis; __DISPROVED__