あのピープルは委ねる
fact1: 仮にその置屋は委ねるとしたら「あのピープルは御済むかあるいは視距であるかもしくは両方ともだ」ということは本当である fact2: もしあの原因追求が御済めばその置屋は視距であるかそれはでかくないかあるいは両方ともだ fact3: とあるものが視距であるかあるいはでかくないとしたらあのピープルは委ねない fact4: その置屋は生産基盤であるかナショナル・ミニマムであるかまたは両方だ fact5: あの財務諸表は御済むかもしくはそれはエコーであるかもしくは両方ともである fact6: もしも「ある物はでかくない」ということは成り立つとしたらその置屋は委ねない fact7: あの原因追求は御済む
fact2 & fact7 -> int1: その置屋は視距であるかあるいはそれはでかくないかまたは両方ともである; int1 -> int2: 「視距であるかでかくない」ものはある; int2 & fact3 -> hypothesis;
fact2 & fact7 -> int1: ({AA}{b} v ¬{AB}{b}); int1 -> int2: (Ex): ({AA}x v ¬{AB}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にその置屋は委ねるとしたら「あのピープルは御済むかあるいは視距であるかもしくは両方ともだ」ということは本当である fact2: もしあの原因追求が御済めばその置屋は視距であるかそれはでかくないかあるいは両方ともだ fact3: とあるものが視距であるかあるいはでかくないとしたらあのピープルは委ねない fact4: その置屋は生産基盤であるかナショナル・ミニマムであるかまたは両方だ fact5: あの財務諸表は御済むかもしくはそれはエコーであるかもしくは両方ともである fact6: もしも「ある物はでかくない」ということは成り立つとしたらその置屋は委ねない fact7: あの原因追求は御済む ; $hypothesis$ = あのピープルは委ねる ; $proof$ = 
fact2 & fact7 -> int1: その置屋は視距であるかあるいはそれはでかくないかまたは両方ともである; int1 -> int2: 「視距であるかでかくない」ものはある; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にその置屋は委ねるとしたら「あのピープルは御済むかあるいは視距であるかもしくは両方ともだ」ということは本当である
事実2: もしあの原因追求が御済めばその置屋は視距であるかそれはでかくないかあるいは両方ともだ
事実3: とあるものが視距であるかあるいはでかくないとしたらあのピープルは委ねない
事実4: その置屋は生産基盤であるかナショナル・ミニマムであるかまたは両方だ
事実5: あの財務諸表は御済むかもしくはそれはエコーであるかもしくは両方ともである
事実6: もしも「ある物はでかくない」ということは成り立つとしたらその置屋は委ねない
事実7: あの原因追求は御済む

仮説: あのピープルは委ねる
1. 事実2と事実7から、推論1: "その置屋は視距であるかあるいはそれはでかくないかまたは両方ともである"が導かれる
2. 推論1から、推論2: "「視距であるかでかくない」ものはある"が導かれる
3. 推論2と事実3から、仮説が否定される

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