以下のように仮定する。そのみなみわLv.39は疲れ易くない
fact1: 疲れ易くないモンスターは運悪い一方で懐かしいということはない fact2: 「そのみなみわLv.39は運悪いけど懐かしくない」ということは成り立たない fact3: 私らしいモンスターは疲れ易い fact4: もし「あのまいまちょLv.55は溶け難いけれどそれは運悪くない」ということは嘘だとすれば「そのもにゅもよLv.39は運悪くない」ということは確かである fact5: もし仮にこのまえまねLv.99が私らしいがしかし小憎らしくないならばそのぽいぽなLv.4は私らしい fact6: もしもそのぽいぽなLv.4は疲れ易いなら「あのまいまちょLv.55は溶け難い一方で運悪くない」ということは誤りである
fact1 -> int1: もしそのみなみわLv.39が疲れ易くないならそれは運悪いが懐かしくない; void -> assump1: 以下のように仮定する。そのみなみわLv.39は疲れ易くない; int1 & assump1 -> int2: そのみなみわLv.39は運悪いけれどそれは懐かしいということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「そのもにゅもよLv.39は運悪くない」ということは成り立つ
fact7 -> int4: もしもそのぽいぽなLv.4が私らしいとすればそれは疲れ易い;
$facts$ = fact1: 疲れ易くないモンスターは運悪い一方で懐かしいということはない fact2: 「そのみなみわLv.39は運悪いけど懐かしくない」ということは成り立たない fact3: 私らしいモンスターは疲れ易い fact4: もし「あのまいまちょLv.55は溶け難いけれどそれは運悪くない」ということは嘘だとすれば「そのもにゅもよLv.39は運悪くない」ということは確かである fact5: もし仮にこのまえまねLv.99が私らしいがしかし小憎らしくないならばそのぽいぽなLv.4は私らしい fact6: もしもそのぽいぽなLv.4は疲れ易いなら「あのまいまちょLv.55は溶け難い一方で運悪くない」ということは誤りである ; $hypothesis$ = 以下のように仮定する。そのみなみわLv.39は疲れ易くない ; $proof$ = 
fact1 -> int1: もしそのみなみわLv.39が疲れ易くないならそれは運悪いが懐かしくない; void -> assump1: 以下のように仮定する。そのみなみわLv.39は疲れ易くない; int1 & assump1 -> int2: そのみなみわLv.39は運悪いけれどそれは懐かしいということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__