「そのぴねぴにゃLv.26は腐り易くない」ということは本当である
fact1: もし仮に「そのぴねぴにゃLv.26は母親らしくない」ということは確かだとすると「腐り易くてまた地中深い」ということは成り立たない fact2: そのぴねぴにゃLv.26は出難いということはない fact3: 「そのぴねぴにゃLv.26は捏ね回すけどこっ酷いということはない」ということは嘘だとすると腐り易い fact4: もし仮にとあるモンスターは出難くないなら「捏ね回すし更にそれはこっ酷いということはない」ということは成り立たない
fact4 -> int1: 仮にそのぴねぴにゃLv.26は出難くないとしたら「そのぴねぴにゃLv.26は捏ね回す一方でこっ酷くない」ということは真実でない; int1 & fact2 -> int2: 「「そのぴねぴにゃLv.26は捏ね回すがそれはこっ酷くない」ということは本当である」ということは事実でない; int2 & fact3 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に「そのぴねぴにゃLv.26は母親らしくない」ということは確かだとすると「腐り易くてまた地中深い」ということは成り立たない fact2: そのぴねぴにゃLv.26は出難いということはない fact3: 「そのぴねぴにゃLv.26は捏ね回すけどこっ酷いということはない」ということは嘘だとすると腐り易い fact4: もし仮にとあるモンスターは出難くないなら「捏ね回すし更にそれはこっ酷いということはない」ということは成り立たない ; $hypothesis$ = 「そのぴねぴにゃLv.26は腐り易くない」ということは本当である ; $proof$ = 
fact4 -> int1: 仮にそのぴねぴにゃLv.26は出難くないとしたら「そのぴねぴにゃLv.26は捏ね回す一方でこっ酷くない」ということは真実でない; int1 & fact2 -> int2: 「「そのぴねぴにゃLv.26は捏ね回すがそれはこっ酷くない」ということは本当である」ということは事実でない; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis; __DISPROVED__