あの仮説的仮定はメールしなくてしかも見向かない
fact1: 「あの仮説的仮定はメールするということはないがしかし見向く」ということは偽だ fact2: 「あの仮説的仮定はメールしないしさらに見向かない」ということは正しくない fact3: ある物は生活再建でないかまたは色落ちするということはないかもしくは両方ともだとすればメールしない fact4: 「あの仮説的仮定はメールするがしかし見向くということはない」ということは偽である
fact2 -> hypothesis;
fact2 -> hypothesis;
あの仮説的仮定はメールしないししかも見向かない
fact5 -> int1: もしあの仮説的仮定が生活再建でないかそれが色落ちしないならばメールしない;
$facts$ = fact1: 「あの仮説的仮定はメールするということはないがしかし見向く」ということは偽だ fact2: 「あの仮説的仮定はメールしないしさらに見向かない」ということは正しくない fact3: ある物は生活再建でないかまたは色落ちするということはないかもしくは両方ともだとすればメールしない fact4: 「あの仮説的仮定はメールするがしかし見向くということはない」ということは偽である ; $hypothesis$ = あの仮説的仮定はメールしなくてしかも見向かない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「あの仮説的仮定はメールするということはないがしかし見向く」ということは偽だ
事実2: 「あの仮説的仮定はメールしないしさらに見向かない」ということは正しくない
事実3: ある物は生活再建でないかまたは色落ちするということはないかもしくは両方ともだとすればメールしない
事実4: 「あの仮説的仮定はメールするがしかし見向くということはない」ということは偽である

仮説: あの仮説的仮定はメールしなくてしかも見向かない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。