その二Ｘはど偉いということはない
fact1: あの持ち運びは飛行機らしい fact2: もし仮にその屑籠が微笑ましいならその二Ｘは回収金額だということはないかもしくは公募しないかまたは両方である fact3: 仮に賛成し難い物がトライしないとしたら宗教性だ fact4: その屑籠はど偉くないかまたはそれは微笑ましくらないかまたは両方だ fact5: もし仮になんらかのものが回収金額だということはないとすれば飛行機らしい fact6: 仮に「その屑籠は微笑ましいということはなくてそれにど偉くない」ということは成り立たないならこのヒドロキシスチレンは飛行機らしい fact7: その二Ｘが微笑ましいならばその屑籠は回収金額でないかまたはど偉くないかあるいはどちらもだ fact8: 仮にその屑籠が微笑ましいとすればあの二Ｘは回収金額であるかまたはそれは公募するということはないかまたはどちらもだ fact9: もしも「そのＥカードは血便だ」ということは成り立つとすればあの鼻側は血便だ fact10: この南が捲り上げないとするとそのＥカードはＴＣＲだし巻き戻す fact11: その屑籠は微笑ましい fact12: その二Ｘは回収金額であるかもしくはそれは公募しない fact13: 「飛行機らしいものはど偉い」ということは間違いでない fact14: 仮にあの鼻側は血便であるとすると「この頻出度は甲斐甲斐しいが賛成し難くない」ということは成り立たない fact15: そのＥカードがＴＣＲであるとすれば安ししそれは時価ヘッジ会計だということはない fact16: 何らかの物が甲斐甲斐しかないか時価ヘッジ会計であるか両方ともだとすれば甲斐甲斐しかない fact17: 仮にあの二期会ゴールデンコンサートがトライするとしたらその屑籠は宗教性だ fact18: 安し物は時価ヘッジ会計でないならば「血便である」ということは真実である fact19: もしもその屑籠は宗教性であるならば「その二Ｘは微笑ましいけど飛行機らしくない」ということは成り立たない fact20: 「この南は捲り上げない」ということは真実だ fact21: ある物は宗教性だとすれば「それは微笑ましくらなくて更にど偉くない」ということは偽である fact22: もし仮にその二Ｘが甲斐甲斐しかないならばその屑籠は賛成し難いけれどトライしない fact23: もしもなにがしかの物が回収金額でないかもしくはそれが公募しないとしたら飛行機らしい fact24: もしその二Ｘは回収金額でないならばそれは飛行機らしい
fact2 & fact11 -> int1: その二Ｘは回収金額でないかまたは公募するということはないか両方だ; fact23 -> int2: もしその二Ｘが回収金額でないかあるいはそれは公募しないかあるいはどちらもだとするとそれは飛行機らしい; int1 & int2 -> int3: その二Ｘは飛行機らしい; fact13 -> int4: もし仮にその二Ｘが飛行機らしいならばど偉い; int3 & int4 -> hypothesis;
このヒドロキシスチレンは飛行機らしい
fact29 -> int5: もしもその屑籠は宗教性だとすれば「微笑ましくらないしど偉くない」ということは間違いである; fact27 -> int6: もしもその屑籠が賛成し難いけどそれがトライしないとすれば宗教性である; fact25 -> int7: もしもその二Ｘが甲斐甲斐しかないかまたはそれが時価ヘッジ会計だとすればそれは甲斐甲斐しかない;
$facts$ = fact1: あの持ち運びは飛行機らしい fact2: もし仮にその屑籠が微笑ましいならその二Ｘは回収金額だということはないかもしくは公募しないかまたは両方である fact3: 仮に賛成し難い物がトライしないとしたら宗教性だ fact4: その屑籠はど偉くないかまたはそれは微笑ましくらないかまたは両方だ fact5: もし仮になんらかのものが回収金額だということはないとすれば飛行機らしい fact6: 仮に「その屑籠は微笑ましいということはなくてそれにど偉くない」ということは成り立たないならこのヒドロキシスチレンは飛行機らしい fact7: その二Ｘが微笑ましいならばその屑籠は回収金額でないかまたはど偉くないかあるいはどちらもだ fact8: 仮にその屑籠が微笑ましいとすればあの二Ｘは回収金額であるかまたはそれは公募するということはないかまたはどちらもだ fact9: もしも「そのＥカードは血便だ」ということは成り立つとすればあの鼻側は血便だ fact10: この南が捲り上げないとするとそのＥカードはＴＣＲだし巻き戻す fact11: その屑籠は微笑ましい fact12: その二Ｘは回収金額であるかもしくはそれは公募しない fact13: 「飛行機らしいものはど偉い」ということは間違いでない fact14: 仮にあの鼻側は血便であるとすると「この頻出度は甲斐甲斐しいが賛成し難くない」ということは成り立たない fact15: そのＥカードがＴＣＲであるとすれば安ししそれは時価ヘッジ会計だということはない fact16: 何らかの物が甲斐甲斐しかないか時価ヘッジ会計であるか両方ともだとすれば甲斐甲斐しかない fact17: 仮にあの二期会ゴールデンコンサートがトライするとしたらその屑籠は宗教性だ fact18: 安し物は時価ヘッジ会計でないならば「血便である」ということは真実である fact19: もしもその屑籠は宗教性であるならば「その二Ｘは微笑ましいけど飛行機らしくない」ということは成り立たない fact20: 「この南は捲り上げない」ということは真実だ fact21: ある物は宗教性だとすれば「それは微笑ましくらなくて更にど偉くない」ということは偽である fact22: もし仮にその二Ｘが甲斐甲斐しかないならばその屑籠は賛成し難いけれどトライしない fact23: もしもなにがしかの物が回収金額でないかもしくはそれが公募しないとしたら飛行機らしい fact24: もしその二Ｘは回収金額でないならばそれは飛行機らしい ; $hypothesis$ = その二Ｘはど偉いということはない ; $proof$ = 
fact2 & fact11 -> int1: その二Ｘは回収金額でないかまたは公募するということはないか両方だ; fact23 -> int2: もしその二Ｘが回収金額でないかあるいはそれは公募しないかあるいはどちらもだとするとそれは飛行機らしい; int1 & int2 -> int3: その二Ｘは飛行機らしい; fact13 -> int4: もし仮にその二Ｘが飛行機らしいならばど偉い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの持ち運びは飛行機らしい
事実2: もし仮にその屑籠が微笑ましいならその二Ｘは回収金額だということはないかもしくは公募しないかまたは両方である
事実3: 仮に賛成し難い物がトライしないとしたら宗教性だ
事実4: その屑籠はど偉くないかまたはそれは微笑ましくらないかまたは両方だ
事実5: もし仮になんらかのものが回収金額だということはないとすれば飛行機らしい
事実6: 仮に「その屑籠は微笑ましいということはなくてそれにど偉くない」ということは成り立たないならこのヒドロキシスチレンは飛行機らしい
事実7: その二Ｘが微笑ましいならばその屑籠は回収金額でないかまたはど偉くないかあるいはどちらもだ
事実8: 仮にその屑籠が微笑ましいとすればあの二Ｘは回収金額であるかまたはそれは公募するということはないかまたはどちらもだ
事実9: もしも「そのＥカードは血便だ」ということは成り立つとすればあの鼻側は血便だ
事実10: この南が捲り上げないとするとそのＥカードはＴＣＲだし巻き戻す
事実11: その屑籠は微笑ましい
事実12: その二Ｘは回収金額であるかもしくはそれは公募しない
事実13: 「飛行機らしいものはど偉い」ということは間違いでない
事実14: 仮にあの鼻側は血便であるとすると「この頻出度は甲斐甲斐しいが賛成し難くない」ということは成り立たない
事実15: そのＥカードがＴＣＲであるとすれば安ししそれは時価ヘッジ会計だということはない
事実16: 何らかの物が甲斐甲斐しかないか時価ヘッジ会計であるか両方ともだとすれば甲斐甲斐しかない
事実17: 仮にあの二期会ゴールデンコンサートがトライするとしたらその屑籠は宗教性だ
事実18: 安し物は時価ヘッジ会計でないならば「血便である」ということは真実である
事実19: もしもその屑籠は宗教性であるならば「その二Ｘは微笑ましいけど飛行機らしくない」ということは成り立たない
事実20: 「この南は捲り上げない」ということは真実だ
事実21: ある物は宗教性だとすれば「それは微笑ましくらなくて更にど偉くない」ということは偽である
事実22: もし仮にその二Ｘが甲斐甲斐しかないならばその屑籠は賛成し難いけれどトライしない
事実23: もしもなにがしかの物が回収金額でないかもしくはそれが公募しないとしたら飛行機らしい
事実24: もしその二Ｘは回収金額でないならばそれは飛行機らしい

仮説: その二Ｘはど偉いということはない
1. 事実2と事実11から、推論1: "その二Ｘは回収金額でないかまたは公募するということはないか両方だ"が導かれる
2. 事実23から、推論2: "もしその二Ｘが回収金額でないかあるいはそれは公募しないかあるいはどちらもだとするとそれは飛行機らしい"が導かれる
3. 推論1と推論2から、推論3: "その二Ｘは飛行機らしい"が導かれる
4. 事実13から、推論4: "もし仮にその二Ｘが飛行機らしいならばど偉い"が導かれる
5. 推論3と推論4から、仮説が否定される

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