この千九百九十五年度は着工する
fact1: 仮にあの聖餐式が行い易いならあの入内は行い易い fact2: この日永は強食でないならばそれは利用され易くない fact3: 仮にその三世代が漂流し始めるとするとこの日永は薬歴だ fact4: 「この日永は極まり悪い」ということは正しいとするとあの聖餐式は行い易いということはない fact5: 仮にあの入内が着工するとすればこの千九百九十五年度は着工する fact6: 「この日永は排さないけどスピンする」ということは正しくないとするとそれは授受する fact7: その三世代は漂流し始める fact8: 利用され易くないものは漂流し始める fact9: もし仮に行い易い物が縫い取りしないなら刺々しい fact10: 「この日永は排さないけれどそれはスピンする」ということは成り立つということはない fact11: あの聖餐式が縫い取りするしその上粗い fact12: 仮にとある物は授受するなら「強食でない」ということは本当である fact13: 仮に「この日永は漂流し始める」ということは確かであるとしたらあの聖餐式は自発分極しなくてしかも極まり悪いということはない fact14: 「なんらかのものは極まり悪くないなら「薬歴で着工する」ということは誤っている」ということは成り立つ fact15: もしも「「薬歴だし加えて着工する」ということは成り立たない」物はあるとすると「あの入内は着工しない」ということは成り立つ fact16: あの入内は縫い取りする fact17: あの入内は刺々しくてかつ縫い取りする fact18: あの聖餐式は行い易い fact19: この日永は薬歴なら「自発分極するけれど極まり悪くない」ということは成り立たない fact20: 仮に「あの入内は着工しない」ということは事実であるならこの千九百九十五年度は行い易いがしかし縫い取りしない fact21: もし仮にあの入内が刺々しくて加えてそれは行い易いならばあの千九百九十五年度は着工しない
fact17 -> int1: あの入内は刺々しい; fact1 & fact18 -> int2: あの入内は行い易い; int1 & int2 -> int3: あの入内は刺々しくて行い易い; int3 & fact21 -> hypothesis;
この千九百九十五年度は着工する
fact23 & fact26 -> int4: この日永は薬歴だ; fact25 & int4 -> int5: 「この日永は自発分極するが極まり悪いということはない」ということは誤っている;
$facts$ = fact1: 仮にあの聖餐式が行い易いならあの入内は行い易い fact2: この日永は強食でないならばそれは利用され易くない fact3: 仮にその三世代が漂流し始めるとするとこの日永は薬歴だ fact4: 「この日永は極まり悪い」ということは正しいとするとあの聖餐式は行い易いということはない fact5: 仮にあの入内が着工するとすればこの千九百九十五年度は着工する fact6: 「この日永は排さないけどスピンする」ということは正しくないとするとそれは授受する fact7: その三世代は漂流し始める fact8: 利用され易くないものは漂流し始める fact9: もし仮に行い易い物が縫い取りしないなら刺々しい fact10: 「この日永は排さないけれどそれはスピンする」ということは成り立つということはない fact11: あの聖餐式が縫い取りするしその上粗い fact12: 仮にとある物は授受するなら「強食でない」ということは本当である fact13: 仮に「この日永は漂流し始める」ということは確かであるとしたらあの聖餐式は自発分極しなくてしかも極まり悪いということはない fact14: 「なんらかのものは極まり悪くないなら「薬歴で着工する」ということは誤っている」ということは成り立つ fact15: もしも「「薬歴だし加えて着工する」ということは成り立たない」物はあるとすると「あの入内は着工しない」ということは成り立つ fact16: あの入内は縫い取りする fact17: あの入内は刺々しくてかつ縫い取りする fact18: あの聖餐式は行い易い fact19: この日永は薬歴なら「自発分極するけれど極まり悪くない」ということは成り立たない fact20: 仮に「あの入内は着工しない」ということは事実であるならこの千九百九十五年度は行い易いがしかし縫い取りしない fact21: もし仮にあの入内が刺々しくて加えてそれは行い易いならばあの千九百九十五年度は着工しない ; $hypothesis$ = この千九百九十五年度は着工する ; $proof$ = 
fact17 -> int1: あの入内は刺々しい; fact1 & fact18 -> int2: あの入内は行い易い; int1 & int2 -> int3: あの入内は刺々しくて行い易い; int3 & fact21 -> hypothesis; __DISPROVED__
事実1: 仮にあの聖餐式が行い易いならあの入内は行い易い
事実2: この日永は強食でないならばそれは利用され易くない
事実3: 仮にその三世代が漂流し始めるとするとこの日永は薬歴だ
事実4: 「この日永は極まり悪い」ということは正しいとするとあの聖餐式は行い易いということはない
事実5: 仮にあの入内が着工するとすればこの千九百九十五年度は着工する
事実6: 「この日永は排さないけどスピンする」ということは正しくないとするとそれは授受する
事実7: その三世代は漂流し始める
事実8: 利用され易くないものは漂流し始める
事実9: もし仮に行い易い物が縫い取りしないなら刺々しい
事実10: 「この日永は排さないけれどそれはスピンする」ということは成り立つということはない
事実11: あの聖餐式が縫い取りするしその上粗い
事実12: 仮にとある物は授受するなら「強食でない」ということは本当である
事実13: 仮に「この日永は漂流し始める」ということは確かであるとしたらあの聖餐式は自発分極しなくてしかも極まり悪いということはない
事実14: 「なんらかのものは極まり悪くないなら「薬歴で着工する」ということは誤っている」ということは成り立つ
事実15: もしも「「薬歴だし加えて着工する」ということは成り立たない」物はあるとすると「あの入内は着工しない」ということは成り立つ
事実16: あの入内は縫い取りする
事実17: あの入内は刺々しくてかつ縫い取りする
事実18: あの聖餐式は行い易い
事実19: この日永は薬歴なら「自発分極するけれど極まり悪くない」ということは成り立たない
事実20: 仮に「あの入内は着工しない」ということは事実であるならこの千九百九十五年度は行い易いがしかし縫い取りしない
事実21: もし仮にあの入内が刺々しくて加えてそれは行い易いならばあの千九百九十五年度は着工しない

仮説: この千九百九十五年度は着工する
1. 事実17から、推論1: "あの入内は刺々しい"が導かれる
2. 事実1と事実18から、推論2: "あの入内は行い易い"が導かれる
3. 推論1と推論2から、推論3: "あの入内は刺々しくて行い易い"が導かれる
4. 推論3と事実21から、仮説が否定される

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