「「もし仮に「このぽくぽねLv.69は生き易くない」ということは成り立つとしたら「このぽくぽねLv.69はいじましくないが汗臭い」ということは誤りである」ということは真実である」ということは間違いだ
fact1: なんらかのモンスターが生き易くないならばさり気無くない fact2: もし仮に「このぽくぽねLv.69はさり気無いということはない」ということは成り立つなら「それはいじましいということはないが汗臭い」ということは間違いだ
fact1 -> int1: もしもこのぽくぽねLv.69が生き易くないならそれはさり気無くない; void -> assump1: 以下のように仮定する。このぽくぽねLv.69は生き易くない; int1 & assump1 -> int2: このぽくぽねLv.69はさり気無くない; int2 & fact2 -> int3: 「このぽくぽねLv.69はいじましくないがしかし汗臭い」ということは間違っている; [assump1] & int3 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact2 -> int3: ¬(¬{D}{aa} & {A}{aa}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: なんらかのモンスターが生き易くないならばさり気無くない fact2: もし仮に「このぽくぽねLv.69はさり気無いということはない」ということは成り立つなら「それはいじましいということはないが汗臭い」ということは間違いだ ; $hypothesis$ = 「「もし仮に「このぽくぽねLv.69は生き易くない」ということは成り立つとしたら「このぽくぽねLv.69はいじましくないが汗臭い」ということは誤りである」ということは真実である」ということは間違いだ ; $proof$ = 
fact1 -> int1: もしもこのぽくぽねLv.69が生き易くないならそれはさり気無くない; void -> assump1: 以下のように仮定する。このぽくぽねLv.69は生き易くない; int1 & assump1 -> int2: このぽくぽねLv.69はさり気無くない; int2 & fact2 -> int3: 「このぽくぽねLv.69はいじましくないがしかし汗臭い」ということは間違っている; [assump1] & int3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact2 -> int3: ¬(¬{D}{aa} & {A}{aa}); [assump1] & int3 -> hypothesis; __DISPROVED__