そのぴゆぴちょLv.40は娘らしい
fact1: そのぷにぷよLv.0は焼き難くない fact2: もしなんらかのモンスターは焼き難くないとすれば「それは号泣するが狡くない」ということは成り立たない fact3: もしなにがしかのモンスターは真新しいかもしくは耐え難くないかまたは両方ともだとすればそれは焼き難くない fact4: 仮に「このものもちょLv.98は焼き難くない」ということは成り立つとしたら「そのぴゆぴちょLv.40は娘らしいがしかし狡くない」ということは真実である fact5: もしそのぷにぷよLv.0が号泣しないならそのぴゆぴちょLv.40は娘らしい fact6: 仮に「そのぷにぷよLv.0は号泣するけど狡くない」ということは成り立たないとすればそのぴゆぴちょLv.40は娘らしい fact7: もしなにがしかのモンスターは娘らしくないとすれば「号泣するけれど焼き難くない」ということは誤りだ
fact2 -> int1: そのぷにぷよLv.0は焼き難くないとすると「そのぷにぷよLv.0は号泣する一方でそれは狡くない」ということは本当でない; int1 & fact1 -> int2: 「そのぷにぷよLv.0は号泣する一方で狡くない」ということは成り立つということはない; int2 & fact6 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> hypothesis;
このぽえぽねLv.61は狡くない
fact8 -> int3: もし仮にこのものもちょLv.98が真新しいかまたはそれは耐え難くないかまたはどちらもであるとするとそれは焼き難いということはない;
$facts$ = fact1: そのぷにぷよLv.0は焼き難くない fact2: もしなんらかのモンスターは焼き難くないとすれば「それは号泣するが狡くない」ということは成り立たない fact3: もしなにがしかのモンスターは真新しいかもしくは耐え難くないかまたは両方ともだとすればそれは焼き難くない fact4: 仮に「このものもちょLv.98は焼き難くない」ということは成り立つとしたら「そのぴゆぴちょLv.40は娘らしいがしかし狡くない」ということは真実である fact5: もしそのぷにぷよLv.0が号泣しないならそのぴゆぴちょLv.40は娘らしい fact6: 仮に「そのぷにぷよLv.0は号泣するけど狡くない」ということは成り立たないとすればそのぴゆぴちょLv.40は娘らしい fact7: もしなにがしかのモンスターは娘らしくないとすれば「号泣するけれど焼き難くない」ということは誤りだ ; $hypothesis$ = そのぴゆぴちょLv.40は娘らしい ; $proof$ = 
fact2 -> int1: そのぷにぷよLv.0は焼き難くないとすると「そのぷにぷよLv.0は号泣する一方でそれは狡くない」ということは本当でない; int1 & fact1 -> int2: 「そのぷにぷよLv.0は号泣する一方で狡くない」ということは成り立つということはない; int2 & fact6 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> hypothesis; __PROVED__