その三半規管は気持ち良くない
fact1: 「雪深くない」物はあるとすると「あの俗耳は本屋さんだ一方で強烈過ぎない」ということは成り立たない fact2: もし「あの俗耳は本屋さんでない」ということは正しいなら「それは気持ち良くてさらにそれは雪深い」ということは間違いである fact3: 「「雪深くない」ということは成り立つ」物はある fact4: もしもあの専門業者が作り得るとしたらその三半規管は気持ち良い fact5: もしもあの専門業者が会話出来るとすればあの三半規管は気持ち良い fact6: もし「なにがしかのものは作り得るかそれは主計官だということはないかまたは両方である」ということは偽なら強烈過ぎる fact7: もし「あの俗耳は本屋さんであるけど強烈過ぎない」ということは誤りであるとすればその複数政党制は主計官である fact8: もしなにがしかのものが主計官だとするとあの専門業者は会話出来るかそれは作り得る
fact3 & fact1 -> int1: 「あの俗耳は本屋さんだが強烈過ぎない」ということは誤りだ; int1 & fact7 -> int2: 「その複数政党制は主計官だ」ということは成り立つ; int2 -> int3: なにかは主計官だ; int3 & fact8 -> int4: あの専門業者は会話出来るかもしくは作り得るか両方ともである; int4 & fact5 & fact4 -> hypothesis;
その三半規管は気持ち良くない
fact10 -> int5: 「「その複数政党制は作り得るかあるいは主計官だということはない」ということは嘘ならばその複数政党制は強烈過ぎる」ということは誤りであるということはない;
$facts$ = fact1: 「雪深くない」物はあるとすると「あの俗耳は本屋さんだ一方で強烈過ぎない」ということは成り立たない fact2: もし「あの俗耳は本屋さんでない」ということは正しいなら「それは気持ち良くてさらにそれは雪深い」ということは間違いである fact3: 「「雪深くない」ということは成り立つ」物はある fact4: もしもあの専門業者が作り得るとしたらその三半規管は気持ち良い fact5: もしもあの専門業者が会話出来るとすればあの三半規管は気持ち良い fact6: もし「なにがしかのものは作り得るかそれは主計官だということはないかまたは両方である」ということは偽なら強烈過ぎる fact7: もし「あの俗耳は本屋さんであるけど強烈過ぎない」ということは誤りであるとすればその複数政党制は主計官である fact8: もしなにがしかのものが主計官だとするとあの専門業者は会話出来るかそれは作り得る ; $hypothesis$ = その三半規管は気持ち良くない ; $proof$ = 
fact3 & fact1 -> int1: 「あの俗耳は本屋さんだが強烈過ぎない」ということは誤りだ; int1 & fact7 -> int2: 「その複数政党制は主計官だ」ということは成り立つ; int2 -> int3: なにかは主計官だ; int3 & fact8 -> int4: あの専門業者は会話出来るかもしくは作り得るか両方ともである; int4 & fact5 & fact4 -> hypothesis; __DISPROVED__
事実1: 「雪深くない」物はあるとすると「あの俗耳は本屋さんだ一方で強烈過ぎない」ということは成り立たない
事実2: もし「あの俗耳は本屋さんでない」ということは正しいなら「それは気持ち良くてさらにそれは雪深い」ということは間違いである
事実3: 「「雪深くない」ということは成り立つ」物はある
事実4: もしもあの専門業者が作り得るとしたらその三半規管は気持ち良い
事実5: もしもあの専門業者が会話出来るとすればあの三半規管は気持ち良い
事実6: もし「なにがしかのものは作り得るかそれは主計官だということはないかまたは両方である」ということは偽なら強烈過ぎる
事実7: もし「あの俗耳は本屋さんであるけど強烈過ぎない」ということは誤りであるとすればその複数政党制は主計官である
事実8: もしなにがしかのものが主計官だとするとあの専門業者は会話出来るかそれは作り得る

仮説: その三半規管は気持ち良くない
1. 事実3と事実1から、推論1: "「あの俗耳は本屋さんだが強烈過ぎない」ということは誤りだ"が導かれる
2. 推論1と事実7から、推論2: "「その複数政党制は主計官だ」ということは成り立つ"が導かれる
3. 推論2から、推論3: "なにかは主計官だ"が導かれる
4. 推論3と事実8から、推論4: "あの専門業者は会話出来るかもしくは作り得るか両方ともである"が導かれる
5. 推論4と事実5と事実4から、仮説が否定される

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