以下のように仮定する。このぷくぷいLv.25は激しくなくてさらにそれは探し易くない
fact1: 「このぷくぷいLv.25は激しい」ということは本当だ fact2: 仮にこのぷねぷくLv.95がめでたいとすればこのぽえぽわLv.21はめでたい fact3: このぽえぽわLv.21がめでたいならばこのぷくぷいLv.25は御報告致すということはない fact4: このぷくぷいLv.25は探し易くない fact5: もしもそのもちょもゆLv.62がめでたいならばこのぷねぷくLv.95はめでたい fact6: 仮に「何らかのモンスターは御報告致さない」ということは確かだとすれば激しくなくて探し易くない
void -> assump1: 以下のように仮定する。このぷくぷいLv.25は激しくなくてさらにそれは探し易くない; assump1 -> int1: このぷくぷいLv.25は激しくない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。このぷくぷいLv.25は激しくなくてさらにそれは探し易くない
fact10 -> int3: もしもこのぷくぷいLv.25が御報告致すということはないとすればこのぷくぷいLv.25は激しくなくておまけに探し易いということはない;
$facts$ = fact1: 「このぷくぷいLv.25は激しい」ということは本当だ fact2: 仮にこのぷねぷくLv.95がめでたいとすればこのぽえぽわLv.21はめでたい fact3: このぽえぽわLv.21がめでたいならばこのぷくぷいLv.25は御報告致すということはない fact4: このぷくぷいLv.25は探し易くない fact5: もしもそのもちょもゆLv.62がめでたいならばこのぷねぷくLv.95はめでたい fact6: 仮に「何らかのモンスターは御報告致さない」ということは確かだとすれば激しくなくて探し易くない ; $hypothesis$ = 以下のように仮定する。このぷくぷいLv.25は激しくなくてさらにそれは探し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷくぷいLv.25は激しくなくてさらにそれは探し易くない; assump1 -> int1: このぷくぷいLv.25は激しくない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__