「「そのぽにゅぽちゃLv.5は流れ続けるしそれに輝かし」ということは正しい」ということは事実と異なる
fact1: 仮にそのぽにゅぽちゃLv.5は流れ続けるとしたら「そのぽにゅぽちゃLv.5は懐こい」ということは真実である fact2: そのぽにゅぽちゃLv.5は流れ続ける fact3: そのぽにゅぽちゃLv.5は見分け難いとすると「「そのぽにゅぽちゃLv.5は慟哭するか行き易くないかもしくは両方ともである」ということは真実だ」ということは成り立たない fact4: そのぽにゅぽちゃLv.5は見分け難い fact5: 「このまちょまにゃLv.42は行き易いかあるいは動揺し易くない」ということは間違いである fact6: 「このまにまちゅLv.19は輝かしか騒々しくない」ということは成り立たない fact7: もし仮に「とあるモンスターは慟哭するかもしくはそれは行き易くないかもしくは両方だ」ということは誤っているとすると輝かし
fact7 -> int1: 仮に「そのぽにゅぽちゃLv.5は慟哭するかまたはそれは行き易くないかあるいは両方である」ということは偽であるとすればそのぽにゅぽちゃLv.5は輝かし; fact4 & fact3 -> int2: 「そのぽにゅぽちゃLv.5は慟哭するかもしくは行き易くないか両方ともである」ということは成り立たない; int1 & int2 -> int3: そのぽにゅぽちゃLv.5は輝かし; int3 & fact2 -> hypothesis;
fact7 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact4 & fact3 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 仮にそのぽにゅぽちゃLv.5は流れ続けるとしたら「そのぽにゅぽちゃLv.5は懐こい」ということは真実である fact2: そのぽにゅぽちゃLv.5は流れ続ける fact3: そのぽにゅぽちゃLv.5は見分け難いとすると「「そのぽにゅぽちゃLv.5は慟哭するか行き易くないかもしくは両方ともである」ということは真実だ」ということは成り立たない fact4: そのぽにゅぽちゃLv.5は見分け難い fact5: 「このまちょまにゃLv.42は行き易いかあるいは動揺し易くない」ということは間違いである fact6: 「このまにまちゅLv.19は輝かしか騒々しくない」ということは成り立たない fact7: もし仮に「とあるモンスターは慟哭するかもしくはそれは行き易くないかもしくは両方だ」ということは誤っているとすると輝かし ; $hypothesis$ = 「「そのぽにゅぽちゃLv.5は流れ続けるしそれに輝かし」ということは正しい」ということは事実と異なる ; $proof$ = 
fact7 -> int1: 仮に「そのぽにゅぽちゃLv.5は慟哭するかまたはそれは行き易くないかあるいは両方である」ということは偽であるとすればそのぽにゅぽちゃLv.5は輝かし; fact4 & fact3 -> int2: 「そのぽにゅぽちゃLv.5は慟哭するかもしくは行き易くないか両方ともである」ということは成り立たない; int1 & int2 -> int3: そのぽにゅぽちゃLv.5は輝かし; int3 & fact2 -> hypothesis; __DISPROVED__
fact7 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact4 & fact3 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact2 -> hypothesis; __DISPROVED__