「あるものは代表者等であるかもしくはそれは暗し」ということは間違いである
fact1: もしもあの順守評価は似付かわしくらないならば「代表者等でない」ということは成り立つ fact2: 「この伸びは暗し」ということは本当であるとしたら食い縛る fact3: あの乳脂肪が関さないなら隣り合わせるし食い縛る fact4: もしもその間奏が食い縛ればそれは関す fact5: もし仮にこの伸びが暗しないしかつ関さないとしたらその間奏は関さない fact6: この伸びは関す fact7: もしもなんらかの物が暗しならば代表者等である fact8: もし仮にその間奏が関すとするとこの伸びは代表者等だ fact9: 「暗しかもしくは関す」物はある fact10: この伸びは代表者等であるかもしくは関すかまたは両方ともだ fact11: その間奏は食い縛る fact12: もしその間奏が似付かわしくらないとしたらそれは暗し fact13: 「この伸びは食い縛る」ということは本当だ
fact4 & fact11 -> int1: その間奏は関す; int1 & fact8 -> int2: この伸びは代表者等だ; int2 -> int3: この伸びは代表者等であるかまたは暗し; int3 -> hypothesis;
「反発し合うかあるいは知的努力であるかもしくは両方ともである」物はある
$facts$ = fact1: もしもあの順守評価は似付かわしくらないならば「代表者等でない」ということは成り立つ fact2: 「この伸びは暗し」ということは本当であるとしたら食い縛る fact3: あの乳脂肪が関さないなら隣り合わせるし食い縛る fact4: もしもその間奏が食い縛ればそれは関す fact5: もし仮にこの伸びが暗しないしかつ関さないとしたらその間奏は関さない fact6: この伸びは関す fact7: もしもなんらかの物が暗しならば代表者等である fact8: もし仮にその間奏が関すとするとこの伸びは代表者等だ fact9: 「暗しかもしくは関す」物はある fact10: この伸びは代表者等であるかもしくは関すかまたは両方ともだ fact11: その間奏は食い縛る fact12: もしその間奏が似付かわしくらないとしたらそれは暗し fact13: 「この伸びは食い縛る」ということは本当だ ; $hypothesis$ = 「あるものは代表者等であるかもしくはそれは暗し」ということは間違いである ; $proof$ = 
fact4 & fact11 -> int1: その間奏は関す; int1 & fact8 -> int2: この伸びは代表者等だ; int2 -> int3: この伸びは代表者等であるかまたは暗し; int3 -> hypothesis; __DISPROVED__
事実1: もしもあの順守評価は似付かわしくらないならば「代表者等でない」ということは成り立つ
事実2: 「この伸びは暗し」ということは本当であるとしたら食い縛る
事実3: あの乳脂肪が関さないなら隣り合わせるし食い縛る
事実4: もしもその間奏が食い縛ればそれは関す
事実5: もし仮にこの伸びが暗しないしかつ関さないとしたらその間奏は関さない
事実6: この伸びは関す
事実7: もしもなんらかの物が暗しならば代表者等である
事実8: もし仮にその間奏が関すとするとこの伸びは代表者等だ
事実9: 「暗しかもしくは関す」物はある
事実10: この伸びは代表者等であるかもしくは関すかまたは両方ともだ
事実11: その間奏は食い縛る
事実12: もしその間奏が似付かわしくらないとしたらそれは暗し
事実13: 「この伸びは食い縛る」ということは本当だ

仮説: 「あるものは代表者等であるかもしくはそれは暗し」ということは間違いである
1. 事実4と事実11から、推論1: "その間奏は関す"が導かれる
2. 推論1と事実8から、推論2: "この伸びは代表者等だ"が導かれる
3. 推論2から、推論3: "この伸びは代表者等であるかまたは暗し"が導かれる
4. 推論3から、仮説が否定される

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