「あのみくみえLv.35は脂っぽくないし曇り無しない」ということは正しくない
fact1: もしあのみくみえLv.35が脂っぽくないとするとそれは脂っぽくないし曇り無しない fact2: 仮にそのみやみわLv.99が甚振らないならそのみやみわLv.99は甚振らないし礼儀正しくない fact3: もしもあのみくみえLv.35が脂っぽいとすればあのみくみえLv.35は狡っ辛い fact4: あのみくみえLv.35が脂っぽくないとするとあのみくみえLv.35は脂っぽくなくてかつそれは熱苦しくない fact5: あのみくみえLv.35は狡っ辛くない fact6: あのみくみえLv.35はちっちゃい
void -> assump1: 以下のように仮定する。あのみくみえLv.35は脂っぽい; fact3 & assump1 -> int1: あのみくみえLv.35は狡っ辛い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのみくみえLv.35は脂っぽくない; int3 & fact1 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしあのみくみえLv.35が脂っぽくないとするとそれは脂っぽくないし曇り無しない fact2: 仮にそのみやみわLv.99が甚振らないならそのみやみわLv.99は甚振らないし礼儀正しくない fact3: もしもあのみくみえLv.35が脂っぽいとすればあのみくみえLv.35は狡っ辛い fact4: あのみくみえLv.35が脂っぽくないとするとあのみくみえLv.35は脂っぽくなくてかつそれは熱苦しくない fact5: あのみくみえLv.35は狡っ辛くない fact6: あのみくみえLv.35はちっちゃい ; $hypothesis$ = 「あのみくみえLv.35は脂っぽくないし曇り無しない」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみくみえLv.35は脂っぽい; fact3 & assump1 -> int1: あのみくみえLv.35は狡っ辛い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのみくみえLv.35は脂っぽくない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis; __DISPROVED__