「このみちゅみねLv.90は散見出来るしその上平ったい」ということは間違いだ
fact1: そのぷにゅぷちゃLv.87は勤め始める fact2: 仮にこのみちゅみねLv.90は平ったくないとしたら「そのぷにゅぷちゃLv.87は散見出来るしそれに使い辛い」ということは偽だ fact3: このみよみにゅLv.22は散見出来る fact4: そのぷにゅぷちゃLv.87が使い辛いかまたは勤め始めるか両方ならばこのみよみにゅLv.22は構え易くない fact5: そのぷにゅぷちゃLv.87が平ったいならこのみちゅみねLv.90は勤め始めない fact6: もしこのみちゅみねLv.90が構え易いけど平ったくないならばこのみちゅみねLv.90は勤め始めない fact7: このみよみにゅLv.22は構え易いということはないとしたら「このみちゅみねLv.90は散見出来るしかつそれは平ったい」ということは成り立たない
fact1 -> int1: そのぷにゅぷちゃLv.87は使い辛いかあるいは勤め始めるか両方である; int1 & fact4 -> int2: このみよみにゅLv.22は構え易くない; int2 & fact7 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis;
このみちゅみねLv.90は誘発し易いかまたは商いする
$facts$ = fact1: そのぷにゅぷちゃLv.87は勤め始める fact2: 仮にこのみちゅみねLv.90は平ったくないとしたら「そのぷにゅぷちゃLv.87は散見出来るしそれに使い辛い」ということは偽だ fact3: このみよみにゅLv.22は散見出来る fact4: そのぷにゅぷちゃLv.87が使い辛いかまたは勤め始めるか両方ならばこのみよみにゅLv.22は構え易くない fact5: そのぷにゅぷちゃLv.87が平ったいならこのみちゅみねLv.90は勤め始めない fact6: もしこのみちゅみねLv.90が構え易いけど平ったくないならばこのみちゅみねLv.90は勤め始めない fact7: このみよみにゅLv.22は構え易いということはないとしたら「このみちゅみねLv.90は散見出来るしかつそれは平ったい」ということは成り立たない ; $hypothesis$ = 「このみちゅみねLv.90は散見出来るしその上平ったい」ということは間違いだ ; $proof$ = 
fact1 -> int1: そのぷにゅぷちゃLv.87は使い辛いかあるいは勤め始めるか両方である; int1 & fact4 -> int2: このみよみにゅLv.22は構え易くない; int2 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis; __PROVED__