「「仮に「馬鹿でかいか青しないかまたは両方ともだ」ということは成り立たないならば煮詰まる」モンスターはいる」ということは嘘だ
fact1: 「とあるモンスターは馬鹿でかいかもしくはそれは青し」ということは成り立たないならば「煮詰まる」ということは偽でない fact2: 「とあるモンスターは女らしいかまたは受領するということはないかもしくはどちらもである」ということは成り立たないとしたら慎み深い fact3: もし「あるモンスターは馬鹿でかいかまたは青しない」ということは嘘ならばそれは煮詰まる
fact3 -> int1: 仮に「このぷなぷよLv.56は馬鹿でかいかもしくはそれは青しないかもしくは両方である」ということは間違っていれば煮詰まる; int1 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
「仮に「女らしいか受領しないかもしくは両方ともだ」ということは間違いだとしたら慎み深い」モンスターはいる
fact4 -> int2: 「そのぴねぴいLv.29は女らしいかあるいはそれは受領しない」ということは成り立たないとすればそのぴねぴいLv.29は慎み深い; int2 -> hypothesis;
$facts$ = fact1: 「とあるモンスターは馬鹿でかいかもしくはそれは青し」ということは成り立たないならば「煮詰まる」ということは偽でない fact2: 「とあるモンスターは女らしいかまたは受領するということはないかもしくはどちらもである」ということは成り立たないとしたら慎み深い fact3: もし「あるモンスターは馬鹿でかいかまたは青しない」ということは嘘ならばそれは煮詰まる ; $hypothesis$ = 「「仮に「馬鹿でかいか青しないかまたは両方ともだ」ということは成り立たないならば煮詰まる」モンスターはいる」ということは嘘だ ; $proof$ = 
fact3 -> int1: 仮に「このぷなぷよLv.56は馬鹿でかいかもしくはそれは青しないかもしくは両方である」ということは間違っていれば煮詰まる; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__