あのまにまねLv.4は奥床しいし着続ける
fact1: もしもそのまなまにゅLv.99が訳無くなくてまた厚ぼったいということはないとするとあのぽいぽちゅLv.62はされ易い fact2: もしあのぽいぽちゅLv.62がされ易いならばあのまにまねLv.4は口汚いけれどアメリカらしくない fact3: もしあのまにまねLv.4が訳無いとするとそのまなまにゅLv.99は奥床しいけどアメリカらしくない fact4: そのまなまにゅLv.99は訳無くない fact5: あのまにまねLv.4は着続ける fact6: もし仮にそのまなまにゅLv.99が訳無いとしたらあのまにまねLv.4はされ易い一方でそれは口汚いということはない fact7: 「あのぽいぽちゅLv.62は回送するししかも奥床しい」ということは嘘でない fact8: あのぽいぽちゅLv.62は忘れ難くてそれはアメリカらしい fact9: 仮にそのまなまにゅLv.99が口汚いならばあのまにまねLv.4は厚ぼったいが訳無くない fact10: もしあのまにまねLv.4は口汚いがアメリカらしくないならばそれは奥床しい fact11: そのまなまにゅLv.99は厚ぼったくない
fact4 & fact11 -> int1: そのまなまにゅLv.99は訳無くなくて厚ぼったくない; int1 & fact1 -> int2: あのぽいぽちゅLv.62はされ易い; int2 & fact2 -> int3: あのまにまねLv.4は口汚いけどアメリカらしくない; int3 & fact10 -> int4: あのまにまねLv.4は奥床しい; int4 & fact5 -> hypothesis;
fact4 & fact11 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> int3: ({E}{c} & ¬{D}{c}); int3 & fact10 -> int4: {F}{c}; int4 & fact5 -> hypothesis;
$facts$ = fact1: もしもそのまなまにゅLv.99が訳無くなくてまた厚ぼったいということはないとするとあのぽいぽちゅLv.62はされ易い fact2: もしあのぽいぽちゅLv.62がされ易いならばあのまにまねLv.4は口汚いけれどアメリカらしくない fact3: もしあのまにまねLv.4が訳無いとするとそのまなまにゅLv.99は奥床しいけどアメリカらしくない fact4: そのまなまにゅLv.99は訳無くない fact5: あのまにまねLv.4は着続ける fact6: もし仮にそのまなまにゅLv.99が訳無いとしたらあのまにまねLv.4はされ易い一方でそれは口汚いということはない fact7: 「あのぽいぽちゅLv.62は回送するししかも奥床しい」ということは嘘でない fact8: あのぽいぽちゅLv.62は忘れ難くてそれはアメリカらしい fact9: 仮にそのまなまにゅLv.99が口汚いならばあのまにまねLv.4は厚ぼったいが訳無くない fact10: もしあのまにまねLv.4は口汚いがアメリカらしくないならばそれは奥床しい fact11: そのまなまにゅLv.99は厚ぼったくない ; $hypothesis$ = あのまにまねLv.4は奥床しいし着続ける ; $proof$ = 
fact4 & fact11 -> int1: そのまなまにゅLv.99は訳無くなくて厚ぼったくない; int1 & fact1 -> int2: あのぽいぽちゅLv.62はされ易い; int2 & fact2 -> int3: あのまにまねLv.4は口汚いけどアメリカらしくない; int3 & fact10 -> int4: あのまにまねLv.4は奥床しい; int4 & fact5 -> hypothesis; __PROVED__
fact4 & fact11 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> int3: ({E}{c} & ¬{D}{c}); int3 & fact10 -> int4: {F}{c}; int4 & fact5 -> hypothesis; __PROVED__