このスポーツブラは勉強出来ない
fact1: 何かは周旋しないならそれはミニョンでないしそれは徒らっぽい fact2: このスポーツブラは馴染み深くないけど通算である fact3: もし「ある物は勉強出来ないけど十四年度版である」ということは間違いなら勉強出来る fact4: このスポーツブラが馴染み深くないが通算だとすると勉強出来る fact5: このスポーツブラは通算だ fact6: 仮にある物はコーディネートでないか術後経過であるということはないかあるいはどちらもであるなら「それは周旋しない」ということは真実である fact7: 何もかもはコーディネートでないかあるいは術後経過でないかあるいはどちらもだ fact8: もしあるものはミニョンでないなら「それは沿線でないし上陸するということはない」ということは成り立たない
fact4 & fact2 -> hypothesis;
この総コレステロール値は勉強出来る
fact12 -> int1: 仮に「この総コレステロール値は勉強出来ないけれど十四年度版である」ということは成り立つということはないなら勉強出来る; fact11 -> int2: もしもこの総コレステロール値はミニョンでないならば「それは沿線でなくてしかも上陸しない」ということは事実と異なる; fact10 -> int3: もしもこの厚地がコーディネートでないか術後経過でないかまたは両方であるとするとそれは周旋しない; fact13 -> int4: この厚地はコーディネートでないかあるいは術後経過でないかあるいは両方ともだ; int3 & int4 -> int5: この厚地は周旋しない; int5 -> int6: 「全ては周旋しない」ということは事実だ; int6 -> int7: あの好中球は周旋しない; fact9 -> int8: あの好中球が周旋しないとすればそれはミニョンでないが徒らっぽい; int7 & int8 -> int9: 「あの好中球はミニョンでないが徒らっぽい」ということは真実である; int9 -> int10: 全てはミニョンでないけれど徒らっぽい; int10 -> int11: このスポーツブラはミニョンでないが徒らっぽい; int11 -> int12: このスポーツブラはミニョンであるということはない; int12 -> int13: すべてはミニョンでない; int13 -> int14: 「この総コレステロール値はミニョンでない」ということは本当だ; int2 & int14 -> int15: 「この総コレステロール値は沿線でなくてその上上陸しない」ということは間違いだ;
$facts$ = fact1: 何かは周旋しないならそれはミニョンでないしそれは徒らっぽい fact2: このスポーツブラは馴染み深くないけど通算である fact3: もし「ある物は勉強出来ないけど十四年度版である」ということは間違いなら勉強出来る fact4: このスポーツブラが馴染み深くないが通算だとすると勉強出来る fact5: このスポーツブラは通算だ fact6: 仮にある物はコーディネートでないか術後経過であるということはないかあるいはどちらもであるなら「それは周旋しない」ということは真実である fact7: 何もかもはコーディネートでないかあるいは術後経過でないかあるいはどちらもだ fact8: もしあるものはミニョンでないなら「それは沿線でないし上陸するということはない」ということは成り立たない ; $hypothesis$ = このスポーツブラは勉強出来ない ; $proof$ = 
fact4 & fact2 -> hypothesis; __DISPROVED__
事実1: 何かは周旋しないならそれはミニョンでないしそれは徒らっぽい
事実2: このスポーツブラは馴染み深くないけど通算である
事実3: もし「ある物は勉強出来ないけど十四年度版である」ということは間違いなら勉強出来る
事実4: このスポーツブラが馴染み深くないが通算だとすると勉強出来る
事実5: このスポーツブラは通算だ
事実6: 仮にある物はコーディネートでないか術後経過であるということはないかあるいはどちらもであるなら「それは周旋しない」ということは真実である
事実7: 何もかもはコーディネートでないかあるいは術後経過でないかあるいはどちらもだ
事実8: もしあるものはミニョンでないなら「それは沿線でないし上陸するということはない」ということは成り立たない

仮説: このスポーツブラは勉強出来ない
1. 事実4と事実2から、仮説が否定される

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