あのまやまちゃLv.68は艶っぽいかもしくは皮肉る
fact1: もし「あのまやまちゃLv.68は吝いかあるいは野宿する」ということは偽だとすればそのぷねぷにゃLv.3は生まれ易い fact2: あのまやまちゃLv.68が吝いとするとあのまやまちゃLv.68は艶っぽい fact3: 「そのぷねぷにゃLv.3は生まれ易いかあるいは野宿しない」ということは嘘だ fact4: もし「「そのぷねぷにゃLv.3は生まれ易いかあるいは野宿するということはないか両方ともだ」ということは誤りである」ということは成り立つとするとあのまやまちゃLv.68は吝い fact5: 仮にそのぷねぷにゃLv.3が出兵するが皮肉らないならそのぷよぷちょLv.98は皮肉らない
fact4 & fact3 -> int1: あのまやまちゃLv.68は吝い; int1 & fact2 -> int2: あのまやまちゃLv.68は艶っぽい; int2 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 -> hypothesis;
そのぷよぷちょLv.98は吝いかまたはそれは行き易いかどちらもだ
$facts$ = fact1: もし「あのまやまちゃLv.68は吝いかあるいは野宿する」ということは偽だとすればそのぷねぷにゃLv.3は生まれ易い fact2: あのまやまちゃLv.68が吝いとするとあのまやまちゃLv.68は艶っぽい fact3: 「そのぷねぷにゃLv.3は生まれ易いかあるいは野宿しない」ということは嘘だ fact4: もし「「そのぷねぷにゃLv.3は生まれ易いかあるいは野宿するということはないか両方ともだ」ということは誤りである」ということは成り立つとするとあのまやまちゃLv.68は吝い fact5: 仮にそのぷねぷにゃLv.3が出兵するが皮肉らないならそのぷよぷちょLv.98は皮肉らない ; $hypothesis$ = あのまやまちゃLv.68は艶っぽいかもしくは皮肉る ; $proof$ = 
fact4 & fact3 -> int1: あのまやまちゃLv.68は吝い; int1 & fact2 -> int2: あのまやまちゃLv.68は艶っぽい; int2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 -> hypothesis; __PROVED__