以下のように仮定する。このぽねぽいLv.46は御美しい
fact1: 浅しないモンスターは溜まり易くて噛み砕く fact2: 仮になにがしかのモンスターが溜まり易いとすればそれは御美しい fact3: このぽねぽいLv.46は噛み砕く fact4: 御美しいモンスターは噛み砕かない
fact4 -> int1: 「仮にこのぽねぽいLv.46が御美しいとするとこのぽねぽいLv.46は噛み砕かない」ということは確かだ; void -> assump1: 以下のように仮定する。このぽねぽいLv.46は御美しい; int1 & assump1 -> int2: 「このぽねぽいLv.46は噛み砕く」ということは偽だ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬{C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぽねぽいLv.46は御美しい
fact5 -> int4: もし仮に「このぽねぽいLv.46は溜まり易い」ということは事実であるならこのぽねぽいLv.46は御美しい; fact6 -> int5: もし仮にこのぽねぽいLv.46が浅しないならこのぽねぽいLv.46は溜まり易くて加えてそれは噛み砕く;
$facts$ = fact1: 浅しないモンスターは溜まり易くて噛み砕く fact2: 仮になにがしかのモンスターが溜まり易いとすればそれは御美しい fact3: このぽねぽいLv.46は噛み砕く fact4: 御美しいモンスターは噛み砕かない ; $hypothesis$ = 以下のように仮定する。このぽねぽいLv.46は御美しい ; $proof$ = 
fact4 -> int1: 「仮にこのぽねぽいLv.46が御美しいとするとこのぽねぽいLv.46は噛み砕かない」ということは確かだ; void -> assump1: 以下のように仮定する。このぽねぽいLv.46は御美しい; int1 & assump1 -> int2: 「このぽねぽいLv.46は噛み砕く」ということは偽だ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ¬{C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__