あのまいまちょLv.78はしょっぱくないけれどそれはこだわる
fact1: 仮にそのもちゅもちょLv.99はしょっぱいとしたら「あのまいまちょLv.78はしょっぱくないがしかしこだわる」ということは本当でない fact2: 「あのもわもよLv.15はしょっぱいということはないけど了解出来る」ということは嘘であるならあのもわもよLv.15は儚しということはない fact3: あのもわもよLv.15が儚しとすればそのもちゅもちょLv.99は了解出来る fact4: あのもわもよLv.15は儚し fact5: もしそのもちゅもちょLv.99が了解出来るとするとしょっぱい
fact3 & fact4 -> int1: 「そのもちゅもちょLv.99は了解出来る」ということは事実である; int1 & fact5 -> int2: そのもちゅもちょLv.99はしょっぱい; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
「あのまいまちょLv.78は空々しくないが褒賞する」ということは事実と異なる
$facts$ = fact1: 仮にそのもちゅもちょLv.99はしょっぱいとしたら「あのまいまちょLv.78はしょっぱくないがしかしこだわる」ということは本当でない fact2: 「あのもわもよLv.15はしょっぱいということはないけど了解出来る」ということは嘘であるならあのもわもよLv.15は儚しということはない fact3: あのもわもよLv.15が儚しとすればそのもちゅもちょLv.99は了解出来る fact4: あのもわもよLv.15は儚し fact5: もしそのもちゅもちょLv.99が了解出来るとするとしょっぱい ; $hypothesis$ = あのまいまちょLv.78はしょっぱくないけれどそれはこだわる ; $proof$ = 
fact3 & fact4 -> int1: 「そのもちゅもちょLv.99は了解出来る」ということは事実である; int1 & fact5 -> int2: そのもちゅもちょLv.99はしょっぱい; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__