以下のように仮定する。このもにょもちゃLv.2は御勤めしないしその上晴れがましかない
fact1: もしこのもにょもちゃLv.2が御勤めするということはないし晴れがましくらないとしたらあのぽにゃぽわLv.30は突発する fact2: 「このもにょもちゃLv.2は御勤めするけど晴れはましくらない」ということは嘘である fact3: あのぽにゃぽわLv.30は突発しない fact4: 「このもにょもちゃLv.2は御勤めする一方でそれは突発しない」ということは誤りである fact5: 「あのぽにゃぽわLv.30は賛成し難くなくてしかもみっともなくない」ということは偽だとすればこのもにょもちゃLv.2はみっともなくない fact6: 仮にこのもにょもちゃLv.2が御勤めするけど晴れがましくらないとするとあのぽにゃぽわLv.30は突発する
void -> assump1: 以下のように仮定する。このもにょもちゃLv.2は御勤めしないしその上晴れがましかない; fact1 & assump1 -> int1: あのぽにゃぽわLv.30は突発する; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
このもにょもちゃLv.2は面白くなくて加えてそれは過ごし易くない
$facts$ = fact1: もしこのもにょもちゃLv.2が御勤めするということはないし晴れがましくらないとしたらあのぽにゃぽわLv.30は突発する fact2: 「このもにょもちゃLv.2は御勤めするけど晴れはましくらない」ということは嘘である fact3: あのぽにゃぽわLv.30は突発しない fact4: 「このもにょもちゃLv.2は御勤めする一方でそれは突発しない」ということは誤りである fact5: 「あのぽにゃぽわLv.30は賛成し難くなくてしかもみっともなくない」ということは偽だとすればこのもにょもちゃLv.2はみっともなくない fact6: 仮にこのもにょもちゃLv.2が御勤めするけど晴れがましくらないとするとあのぽにゃぽわLv.30は突発する ; $hypothesis$ = 以下のように仮定する。このもにょもちゃLv.2は御勤めしないしその上晴れがましかない ; $proof$ = 
void -> assump1: 以下のように仮定する。このもにょもちゃLv.2は御勤めしないしその上晴れがましかない; fact1 & assump1 -> int1: あのぽにゃぽわLv.30は突発する; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__