「もしもあのぷなぷよLv.26が狙い難いとすればあのぷなぷよLv.26は大人しい」ということは間違いである
fact1: もしも「「そのぽにょぽいLv.12は惨め過ぎるかそれは狙い難いかあるいはどちらもである」ということは本当である」ということは間違っているとするとあのぷなぷよLv.26は長々しかない fact2: 「そのぽにょぽいLv.12は惨め過ぎるかまたは長々しい」ということは成り立たない fact3: 仮に「そのぽにょぽいLv.12は狙い難いか長々しい」ということは事実と異なるとしたらあのぷなぷよLv.26は大人しくない fact4: このぴにぴよLv.61は大人しくない fact5: そのぽにょぽいLv.12は惨め過ぎない fact6: 「仮にあのぷなぷよLv.26がだだっ広くないけど狙い難いとすればあのぷなぷよLv.26は大人しい」ということは事実と異ならない fact7: そのぽにょぽいLv.12はだだっ広い fact8: もし「そのぽにょぽいLv.12は惨め過ぎるかもしくは長々しい」ということは事実と異なるとするとあのぷなぷよLv.26はだだっ広くない
fact8 & fact2 -> int1: あのぷなぷよLv.26はだだっ広くない; void -> assump1: 以下のように仮定する。「あのぷなぷよLv.26は狙い難い」ということは正しい; int1 & assump1 -> int2: あのぷなぷよLv.26はだだっ広いということはないが狙い難い; int2 & fact6 -> int3: あのぷなぷよLv.26は大人しい; [assump1] & int3 -> hypothesis;
fact8 & fact2 -> int1: ¬{B}{b}; void -> assump1: {A}{b}; int1 & assump1 -> int2: (¬{B}{b} & {A}{b}); int2 & fact6 -> int3: {C}{b}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしも「「そのぽにょぽいLv.12は惨め過ぎるかそれは狙い難いかあるいはどちらもである」ということは本当である」ということは間違っているとするとあのぷなぷよLv.26は長々しかない fact2: 「そのぽにょぽいLv.12は惨め過ぎるかまたは長々しい」ということは成り立たない fact3: 仮に「そのぽにょぽいLv.12は狙い難いか長々しい」ということは事実と異なるとしたらあのぷなぷよLv.26は大人しくない fact4: このぴにぴよLv.61は大人しくない fact5: そのぽにょぽいLv.12は惨め過ぎない fact6: 「仮にあのぷなぷよLv.26がだだっ広くないけど狙い難いとすればあのぷなぷよLv.26は大人しい」ということは事実と異ならない fact7: そのぽにょぽいLv.12はだだっ広い fact8: もし「そのぽにょぽいLv.12は惨め過ぎるかもしくは長々しい」ということは事実と異なるとするとあのぷなぷよLv.26はだだっ広くない ; $hypothesis$ = 「もしもあのぷなぷよLv.26が狙い難いとすればあのぷなぷよLv.26は大人しい」ということは間違いである ; $proof$ = 
fact8 & fact2 -> int1: あのぷなぷよLv.26はだだっ広くない; void -> assump1: 以下のように仮定する。「あのぷなぷよLv.26は狙い難い」ということは正しい; int1 & assump1 -> int2: あのぷなぷよLv.26はだだっ広いということはないが狙い難い; int2 & fact6 -> int3: あのぷなぷよLv.26は大人しい; [assump1] & int3 -> hypothesis; __DISPROVED__
fact8 & fact2 -> int1: ¬{B}{b}; void -> assump1: {A}{b}; int1 & assump1 -> int2: (¬{B}{b} & {A}{b}); int2 & fact6 -> int3: {C}{b}; [assump1] & int3 -> hypothesis; __DISPROVED__