「あの選考会は頭さん宅であるかまたはそれは買い易いかまたは両方である」ということは偽である
fact1: もし仮になにがしかのものが接見しないとしたら解除出来るかもしくは買い易いかあるいは両方だ fact2: あの選考会は接見する fact3: あの選考会はヌーベルであるかもしくはそれは踊れる fact4: あの選考会は落胆するがきったなくない fact5: 仮になにがしかのものは接見するがしかし談判しないなら「買い易い」ということは成り立つ fact6: この森林法は頭さん宅だ fact7: あの選考会は談判しない fact8: もしもとあるものはすこくないし談判しないとすれば接見しない
fact2 & fact7 -> int1: あの選考会は接見する一方で談判するということはない; fact5 -> int2: 仮にあの選考会は接見する一方で談判しないとすればそれは買い易い; int1 & int2 -> int3: あの選考会は買い易い; int3 -> hypothesis;
fact2 & fact7 -> int1: ({A}{a} & ¬{B}{a}); fact5 -> int2: ({A}{a} & ¬{B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 -> hypothesis;
あの選考会は解除出来るかあるいは買い易いか両方である
fact9 -> int4: もし仮にあの選考会が接見しないとすれば解除出来るか買い易い;
$facts$ = fact1: もし仮になにがしかのものが接見しないとしたら解除出来るかもしくは買い易いかあるいは両方だ fact2: あの選考会は接見する fact3: あの選考会はヌーベルであるかもしくはそれは踊れる fact4: あの選考会は落胆するがきったなくない fact5: 仮になにがしかのものは接見するがしかし談判しないなら「買い易い」ということは成り立つ fact6: この森林法は頭さん宅だ fact7: あの選考会は談判しない fact8: もしもとあるものはすこくないし談判しないとすれば接見しない ; $hypothesis$ = 「あの選考会は頭さん宅であるかまたはそれは買い易いかまたは両方である」ということは偽である ; $proof$ = 
fact2 & fact7 -> int1: あの選考会は接見する一方で談判するということはない; fact5 -> int2: 仮にあの選考会は接見する一方で談判しないとすればそれは買い易い; int1 & int2 -> int3: あの選考会は買い易い; int3 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものが接見しないとしたら解除出来るかもしくは買い易いかあるいは両方だ
事実2: あの選考会は接見する
事実3: あの選考会はヌーベルであるかもしくはそれは踊れる
事実4: あの選考会は落胆するがきったなくない
事実5: 仮になにがしかのものは接見するがしかし談判しないなら「買い易い」ということは成り立つ
事実6: この森林法は頭さん宅だ
事実7: あの選考会は談判しない
事実8: もしもとあるものはすこくないし談判しないとすれば接見しない

仮説: 「あの選考会は頭さん宅であるかまたはそれは買い易いかまたは両方である」ということは偽である
1. 事実2と事実7から、推論1: "あの選考会は接見する一方で談判するということはない"が導かれる
2. 事実5から、推論2: "仮にあの選考会は接見する一方で談判しないとすればそれは買い易い"が導かれる
3. 推論1と推論2から、推論3: "あの選考会は買い易い"が導かれる
4. 推論3から、仮説が否定される

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