その沖猟は台頭でない
fact1: もしなんらかのものがアメリカ機でないとすれば鞣すしおまけにそれは御役人だ fact2: 「その先進性は御役人でそれはアメリカ機だ」ということは真実である fact3: 「もしもその賃貸住宅は細めるとしたら「その賃貸住宅は変化し易くないし答え易くない」ということは成り立つということはない」ということは事実である fact4: もし仮に「「変化し易くないし答え易いということはない」ということは成り立たない」ものがあるとするとその易怒性は答え易い fact5: もし仮にその部分体系が鞣すならその先進性はアメリカ機である fact6: その沖猟は御役人である fact7: その先進性はアメリカ機である fact8: もし仮にその先進性が御役人だとしたらその沖猟は鞣す fact9: その賃貸住宅は細める fact10: 仮に「なんらかのものは鞣す」ということは成り立つとするとそれは台頭だ
fact2 -> int1: 「その先進性は御役人である」ということは確かだ; int1 & fact8 -> int2: 「その沖猟は鞣す」ということは成り立つ; fact10 -> int3: もし仮にその沖猟が鞣すとするとそれは台頭である; int2 & int3 -> hypothesis;
その沖猟は台頭だということはない
fact14 & fact12 -> int4: 「その賃貸住宅は変化し易くないし答え易くない」ということは成り立つということはない; int4 -> int5: 「「変化し易くないし答え易くない」ということは誤りである」ものはある; int5 & fact11 -> int6: その易怒性は答え易い; int6 -> int7: 答え易いものはある;
$facts$ = fact1: もしなんらかのものがアメリカ機でないとすれば鞣すしおまけにそれは御役人だ fact2: 「その先進性は御役人でそれはアメリカ機だ」ということは真実である fact3: 「もしもその賃貸住宅は細めるとしたら「その賃貸住宅は変化し易くないし答え易くない」ということは成り立つということはない」ということは事実である fact4: もし仮に「「変化し易くないし答え易いということはない」ということは成り立たない」ものがあるとするとその易怒性は答え易い fact5: もし仮にその部分体系が鞣すならその先進性はアメリカ機である fact6: その沖猟は御役人である fact7: その先進性はアメリカ機である fact8: もし仮にその先進性が御役人だとしたらその沖猟は鞣す fact9: その賃貸住宅は細める fact10: 仮に「なんらかのものは鞣す」ということは成り立つとするとそれは台頭だ ; $hypothesis$ = その沖猟は台頭でない ; $proof$ = 
fact2 -> int1: 「その先進性は御役人である」ということは確かだ; int1 & fact8 -> int2: 「その沖猟は鞣す」ということは成り立つ; fact10 -> int3: もし仮にその沖猟が鞣すとするとそれは台頭である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものがアメリカ機でないとすれば鞣すしおまけにそれは御役人だ
事実2: 「その先進性は御役人でそれはアメリカ機だ」ということは真実である
事実3: 「もしもその賃貸住宅は細めるとしたら「その賃貸住宅は変化し易くないし答え易くない」ということは成り立つということはない」ということは事実である
事実4: もし仮に「「変化し易くないし答え易いということはない」ということは成り立たない」ものがあるとするとその易怒性は答え易い
事実5: もし仮にその部分体系が鞣すならその先進性はアメリカ機である
事実6: その沖猟は御役人である
事実7: その先進性はアメリカ機である
事実8: もし仮にその先進性が御役人だとしたらその沖猟は鞣す
事実9: その賃貸住宅は細める
事実10: 仮に「なんらかのものは鞣す」ということは成り立つとするとそれは台頭だ

仮説: その沖猟は台頭でない
1. 事実2から、推論1: "「その先進性は御役人である」ということは確かだ"が導かれる
2. 推論1と事実8から、推論2: "「その沖猟は鞣す」ということは成り立つ"が導かれる
3. 事実10から、推論3: "もし仮にその沖猟が鞣すとするとそれは台頭である"が導かれる
4. 推論2と推論3から、仮説が否定される

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