そのみよみちゃLv.84は田舎臭い
fact1: それは黙り続けなくておまけにそれは熱苦しくないというモンスターはない fact2: もしもこのぷゆぷくLv.80が恭しいとすればこのぷやぷにゅLv.8は保ち易い fact3: もしもあのまくまちゃLv.20が熱苦しいとするとそのぽねぽわLv.82は繰り返し見る fact4: 「あのまくまちゃLv.20は黙り続けないしその上それは熱苦しくない」ということは嘘だとするとそのぽねぽわLv.82は繰り返し見る fact5: 仮にこのぷやぷにゅLv.8が保ち易いとするとそのみよみちゃLv.84は田舎臭い fact6: 「それは恭しくないし黙り続けないというモンスターはない」ということは成り立つ fact7: もしも「とあるモンスターは繰り返し見ないか恭しいということはないかどちらもである」ということは間違っていれば田舎臭くない fact8: 仮にそのぽねぽわLv.82が繰り返し見るとするとこのぷゆぷくLv.80は恭しい fact9: それは黙り続けないがしかし熱苦しいというモンスターはない
fact1 -> int1: 「あのまくまちゃLv.20は黙り続けなくてさらに熱苦しくない」ということは成り立つということはない; int1 & fact4 -> int2: そのぽねぽわLv.82は繰り返し見る; int2 & fact8 -> int3: 「このぷゆぷくLv.80は恭しい」ということは本当である; int3 & fact2 -> int4: 「このぷやぷにゅLv.8は保ち易い」ということは真実だ; int4 & fact5 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: {A}{a}; int2 & fact8 -> int3: {B}{b}; int3 & fact2 -> int4: {C}{c}; int4 & fact5 -> hypothesis;
そのみよみちゃLv.84は田舎臭くない
fact10 -> int5: 「そのみよみちゃLv.84は繰り返し見るということはないかそれは恭しくないかもしくは両方ともである」ということは誤りであるとすれば田舎臭くない;
$facts$ = fact1: それは黙り続けなくておまけにそれは熱苦しくないというモンスターはない fact2: もしもこのぷゆぷくLv.80が恭しいとすればこのぷやぷにゅLv.8は保ち易い fact3: もしもあのまくまちゃLv.20が熱苦しいとするとそのぽねぽわLv.82は繰り返し見る fact4: 「あのまくまちゃLv.20は黙り続けないしその上それは熱苦しくない」ということは嘘だとするとそのぽねぽわLv.82は繰り返し見る fact5: 仮にこのぷやぷにゅLv.8が保ち易いとするとそのみよみちゃLv.84は田舎臭い fact6: 「それは恭しくないし黙り続けないというモンスターはない」ということは成り立つ fact7: もしも「とあるモンスターは繰り返し見ないか恭しいということはないかどちらもである」ということは間違っていれば田舎臭くない fact8: 仮にそのぽねぽわLv.82が繰り返し見るとするとこのぷゆぷくLv.80は恭しい fact9: それは黙り続けないがしかし熱苦しいというモンスターはない ; $hypothesis$ = そのみよみちゃLv.84は田舎臭い ; $proof$ = 
fact1 -> int1: 「あのまくまちゃLv.20は黙り続けなくてさらに熱苦しくない」ということは成り立つということはない; int1 & fact4 -> int2: そのぽねぽわLv.82は繰り返し見る; int2 & fact8 -> int3: 「このぷゆぷくLv.80は恭しい」ということは本当である; int3 & fact2 -> int4: 「このぷやぷにゅLv.8は保ち易い」ということは真実だ; int4 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: {A}{a}; int2 & fact8 -> int3: {B}{b}; int3 & fact2 -> int4: {C}{c}; int4 & fact5 -> hypothesis; __PROVED__