「あの説明抜きは張り巡らすけれど第四脳室でない」ということは嘘だ
fact1: もしもあの説明抜きが米英だとしたら上卿である fact2: あの説明抜きは張り巡らす fact3: 「仮に何らかの物が一周するとするとあの説明抜きは張り巡らすがそれは第四脳室でない」ということは事実だ fact4: もし仮にあるものが物らしいとすればあの一つ以上は監視し易いけど協調し合わない fact5: とある物は一周する fact6: もしある物は一周しないとすれば「「張り巡らすけれど第四脳室でない」ということは正しい」ということは誤っている fact7: もしも「一周する」物があるとするとあの説明抜きは張り巡らす fact8: 「あの説明抜きは上卿だ」ということは成り立つとすると対応し易くないししかも一周しない
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
「「あの説明抜きは張り巡らすけれどそれは第四脳室でない」ということは成り立たない」ということは事実である
fact11 -> int1: 「あの説明抜きは一周しないとしたら「あの説明抜きは張り巡らすがそれは第四脳室でない」ということは誤りだ」ということは事実である;
$facts$ = fact1: もしもあの説明抜きが米英だとしたら上卿である fact2: あの説明抜きは張り巡らす fact3: 「仮に何らかの物が一周するとするとあの説明抜きは張り巡らすがそれは第四脳室でない」ということは事実だ fact4: もし仮にあるものが物らしいとすればあの一つ以上は監視し易いけど協調し合わない fact5: とある物は一周する fact6: もしある物は一周しないとすれば「「張り巡らすけれど第四脳室でない」ということは正しい」ということは誤っている fact7: もしも「一周する」物があるとするとあの説明抜きは張り巡らす fact8: 「あの説明抜きは上卿だ」ということは成り立つとすると対応し易くないししかも一周しない ; $hypothesis$ = 「あの説明抜きは張り巡らすけれど第四脳室でない」ということは嘘だ ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあの説明抜きが米英だとしたら上卿である
事実2: あの説明抜きは張り巡らす
事実3: 「仮に何らかの物が一周するとするとあの説明抜きは張り巡らすがそれは第四脳室でない」ということは事実だ
事実4: もし仮にあるものが物らしいとすればあの一つ以上は監視し易いけど協調し合わない
事実5: とある物は一周する
事実6: もしある物は一周しないとすれば「「張り巡らすけれど第四脳室でない」ということは正しい」ということは誤っている
事実7: もしも「一周する」物があるとするとあの説明抜きは張り巡らす
事実8: 「あの説明抜きは上卿だ」ということは成り立つとすると対応し易くないししかも一周しない

仮説: 「あの説明抜きは張り巡らすけれど第四脳室でない」ということは嘘だ
1. 事実5と事実3から、仮説が否定される

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