そのぴにゃぴなLv.7は関係深くないかあるいは開眼するかまたは両方ともである
fact1: 仮に「そのぴにゃぴなLv.7は事らしいがしかし合しない」ということは正しくないならば「それは疑り深くない」ということは確かである fact2: 仮にそのぴにゃぴなLv.7が合するとすればそのぴにゃぴなLv.7は疑り深いということはない fact3: もしもそのぴにゃぴなLv.7は疑り深くないとしたら「そのぴにゃぴなLv.7は関係深くないかそれは開眼するかまたは両方である」ということは誤っている fact4: 仮にあのみなみちょLv.79は疑り深いならば「「そのぴにゃぴなLv.7はだだっ広くなくてしかもしどけないということはない」ということは事実でない」ということは成り立つ fact5: もし仮に「なにがしかのモンスターはだだっ広くなくてしどけなくない」ということは誤っているとするとしどけない fact6: もし仮にあるモンスターがしどけないとするとそれは関係深くないかあるいはそれは開眼するかもしくはどちらもである fact7: もし仮にあのみなみちょLv.79はしどけないとすると「そのぴにゃぴなLv.7は事らしいけれどそれは合するということはない」ということは確かでない fact8: あのみなみちょLv.79はしどけない
fact7 & fact8 -> int1: 「そのぴにゃぴなLv.7は事らしいが合しない」ということは偽だ; int1 & fact1 -> int2: そのぴにゃぴなLv.7は疑り深くない; int2 & fact3 -> hypothesis;
fact7 & fact8 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: ¬{B}{b}; int2 & fact3 -> hypothesis;
そのぴにゃぴなLv.7は関係深くないかあるいは開眼するかまたは両方ともである
fact11 -> int3: 仮にそのぴにゃぴなLv.7がしどけないならばそのぴにゃぴなLv.7は関係深いということはないか開眼するかまたは両方である; fact9 -> int4: もし仮に「そのぴにゃぴなLv.7はだだっ広くないししどけなくない」ということは成り立たないならそのぴにゃぴなLv.7はしどけない;
$facts$ = fact1: 仮に「そのぴにゃぴなLv.7は事らしいがしかし合しない」ということは正しくないならば「それは疑り深くない」ということは確かである fact2: 仮にそのぴにゃぴなLv.7が合するとすればそのぴにゃぴなLv.7は疑り深いということはない fact3: もしもそのぴにゃぴなLv.7は疑り深くないとしたら「そのぴにゃぴなLv.7は関係深くないかそれは開眼するかまたは両方である」ということは誤っている fact4: 仮にあのみなみちょLv.79は疑り深いならば「「そのぴにゃぴなLv.7はだだっ広くなくてしかもしどけないということはない」ということは事実でない」ということは成り立つ fact5: もし仮に「なにがしかのモンスターはだだっ広くなくてしどけなくない」ということは誤っているとするとしどけない fact6: もし仮にあるモンスターがしどけないとするとそれは関係深くないかあるいはそれは開眼するかもしくはどちらもである fact7: もし仮にあのみなみちょLv.79はしどけないとすると「そのぴにゃぴなLv.7は事らしいけれどそれは合するということはない」ということは確かでない fact8: あのみなみちょLv.79はしどけない ; $hypothesis$ = そのぴにゃぴなLv.7は関係深くないかあるいは開眼するかまたは両方ともである ; $proof$ = 
fact7 & fact8 -> int1: 「そのぴにゃぴなLv.7は事らしいが合しない」ということは偽だ; int1 & fact1 -> int2: そのぴにゃぴなLv.7は疑り深くない; int2 & fact3 -> hypothesis; __DISPROVED__
fact7 & fact8 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: ¬{B}{b}; int2 & fact3 -> hypothesis; __DISPROVED__