あのみいみにゅLv.75は相応しい
fact1: もしもこのぽのぽやLv.87は嫌味っぽいとすると「そのぷちょぷねLv.95は嫌味っぽいかあるいはえげつなくないかもしくは両方だ」ということは誤りだ fact2: もしも「そのぷちょぷねLv.95は作り易い」ということは事実ならこのぽのぽやLv.87は作り易い fact3: 仮に「そのぷちょぷねLv.95は嫌味っぽいかまたはそれはえげつなくない」ということは成り立たないとしたらあのみいみにゅLv.75は相応しいということはない fact4: 「あのまにゅまなLv.98はえげつないかあるいはそれはネイティブらしいということはないかあるいは両方ともだ」ということは偽である fact5: このぽのぽやLv.87は作り易くてそれに嫌味っぽい fact6: そのぷちょぷねLv.95はえげつなくてさらに作り易い
fact5 -> int1: このぽのぽやLv.87は嫌味っぽい; int1 & fact1 -> int2: 「そのぷちょぷねLv.95は嫌味っぽいかえげつなくない」ということは嘘だ; int2 & fact3 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: ¬({B}{b} v ¬{D}{b}); int2 & fact3 -> hypothesis;
このぽのぽやLv.87は作り易いし相伴う
fact8 -> int3: そのぷちょぷねLv.95は作り易い; fact7 & int3 -> int4: このぽのぽやLv.87は作り易い;
$facts$ = fact1: もしもこのぽのぽやLv.87は嫌味っぽいとすると「そのぷちょぷねLv.95は嫌味っぽいかあるいはえげつなくないかもしくは両方だ」ということは誤りだ fact2: もしも「そのぷちょぷねLv.95は作り易い」ということは事実ならこのぽのぽやLv.87は作り易い fact3: 仮に「そのぷちょぷねLv.95は嫌味っぽいかまたはそれはえげつなくない」ということは成り立たないとしたらあのみいみにゅLv.75は相応しいということはない fact4: 「あのまにゅまなLv.98はえげつないかあるいはそれはネイティブらしいということはないかあるいは両方ともだ」ということは偽である fact5: このぽのぽやLv.87は作り易くてそれに嫌味っぽい fact6: そのぷちょぷねLv.95はえげつなくてさらに作り易い ; $hypothesis$ = あのみいみにゅLv.75は相応しい ; $proof$ = 
fact5 -> int1: このぽのぽやLv.87は嫌味っぽい; int1 & fact1 -> int2: 「そのぷちょぷねLv.95は嫌味っぽいかえげつなくない」ということは嘘だ; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: ¬({B}{b} v ¬{D}{b}); int2 & fact3 -> hypothesis; __DISPROVED__