このもにもにゃLv.68は御覧に成らない
fact1: もし仮にあのぴなぴえLv.93が買い易いとしたらあのぴなぴえLv.93は卑しい fact2: あのぴなぴえLv.93は買い易い fact3: もし仮に「あのぴなぴえLv.93は聞こえ難くなくて間違い無くない」ということは成り立つとしたらこのもにもにゃLv.68は御覧に成る fact4: 「何らかのモンスターは買い易くなくてその上小暗くない」ということは成り立たないなら買い易い fact5: 仮にあのぴなぴえLv.93が卑しいとするとあのぴなぴえLv.93は小暗い fact6: 仮にあのぴなぴえLv.93が小暗いとするとそれは聞こえ難くなくて間違い無くない
fact1 & fact2 -> int1: 「あのぴなぴえLv.93は卑しい」ということは真実である; int1 & fact5 -> int2: あのぴなぴえLv.93は小暗い; int2 & fact6 -> int3: あのぴなぴえLv.93は聞こえ難いということはないしかつ間違い無くない; int3 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact6 -> int3: (¬{E}{a} & ¬{D}{a}); int3 & fact3 -> hypothesis;
このもにゃもゆLv.75は聞こえ難い
fact7 -> int4: もしも「このもにゃもゆLv.75は買い易くなくて小暗くない」ということは成り立たないとすると買い易い;
$facts$ = fact1: もし仮にあのぴなぴえLv.93が買い易いとしたらあのぴなぴえLv.93は卑しい fact2: あのぴなぴえLv.93は買い易い fact3: もし仮に「あのぴなぴえLv.93は聞こえ難くなくて間違い無くない」ということは成り立つとしたらこのもにもにゃLv.68は御覧に成る fact4: 「何らかのモンスターは買い易くなくてその上小暗くない」ということは成り立たないなら買い易い fact5: 仮にあのぴなぴえLv.93が卑しいとするとあのぴなぴえLv.93は小暗い fact6: 仮にあのぴなぴえLv.93が小暗いとするとそれは聞こえ難くなくて間違い無くない ; $hypothesis$ = このもにもにゃLv.68は御覧に成らない ; $proof$ = 
fact1 & fact2 -> int1: 「あのぴなぴえLv.93は卑しい」ということは真実である; int1 & fact5 -> int2: あのぴなぴえLv.93は小暗い; int2 & fact6 -> int3: あのぴなぴえLv.93は聞こえ難いということはないしかつ間違い無くない; int3 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact6 -> int3: (¬{E}{a} & ¬{D}{a}); int3 & fact3 -> hypothesis; __DISPROVED__