そのぷよぷにょLv.14は厚しし加えてそれは休み始める
fact1: もしもあのぽなぽよLv.13が悍ましいなら忌まわしい fact2: そのぷよぷにょLv.14は休み始める fact3: もしもあのぽなぽよLv.13が忌まわしいとするとそのぷよぷにょLv.14は厚し fact4: 仮に口汚くないモンスターがアメリカらしくないとしたらあのぽなぽよLv.13は悍ましい fact5: 忌まわしくないモンスターは空想するしかつ口汚い fact6: このぴえぴにLv.94は口汚いということはなくてアメリカらしくない
fact6 -> int1: 口汚くないしその上アメリカらしいということはないモンスターはいる; int1 & fact4 -> int2: あのぽなぽよLv.13は悍ましい; int2 & fact1 -> int3: あのぽなぽよLv.13は忌まわしい; int3 & fact3 -> int4: そのぷよぷにょLv.14は厚し; int4 & fact2 -> hypothesis;
fact6 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{a}; int3 & fact3 -> int4: {E}{b}; int4 & fact2 -> hypothesis;
そのぷちゃぷわLv.67は空想するしそれにそれは滑り難い
fact7 -> int5: もし仮に「そのぷちゃぷわLv.67は忌まわしくない」ということは正しいとすればそのぷちゃぷわLv.67は空想するしそれは口汚い;
$facts$ = fact1: もしもあのぽなぽよLv.13が悍ましいなら忌まわしい fact2: そのぷよぷにょLv.14は休み始める fact3: もしもあのぽなぽよLv.13が忌まわしいとするとそのぷよぷにょLv.14は厚し fact4: 仮に口汚くないモンスターがアメリカらしくないとしたらあのぽなぽよLv.13は悍ましい fact5: 忌まわしくないモンスターは空想するしかつ口汚い fact6: このぴえぴにLv.94は口汚いということはなくてアメリカらしくない ; $hypothesis$ = そのぷよぷにょLv.14は厚しし加えてそれは休み始める ; $proof$ = 
fact6 -> int1: 口汚くないしその上アメリカらしいということはないモンスターはいる; int1 & fact4 -> int2: あのぽなぽよLv.13は悍ましい; int2 & fact1 -> int3: あのぽなぽよLv.13は忌まわしい; int3 & fact3 -> int4: そのぷよぷにょLv.14は厚し; int4 & fact2 -> hypothesis; __PROVED__
fact6 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{a}; int3 & fact3 -> int4: {E}{b}; int4 & fact2 -> hypothesis; __PROVED__