その映画製作は重喫煙だ
fact1: もしも「その二十世紀は干しがる」ということは正しいとしたら「それは卑しくないしおまけにそれは主坑でない」ということは成り立たない fact2: もし何らかの物が干しがるならそれは主坑である fact3: とある物は卑しいとしたら「その映画製作は主坑であるけどそれは干しがらない」ということは成り立たない fact4: もし「何らかの物は卑しいということはないし主坑でない」ということは成り立たないとすれば「それはクリスマスパーティーでない」ということは真実だ fact5: もし仮にとある物が灰色っぽいならば干しがる fact6: その映画製作が干しがるとすれば重喫煙でない fact7: 仮に「その映画製作は主坑だけれどそれは干しがらない」ということは誤りなら「それは重喫煙でない」ということは真実だ fact8: 「このイタリアンレッドは均すということはないしそれはクリスマスパーティーでない」ということは誤りだ fact9: もしあの装飾品は主坑であるとすると「このイタリアンレッドは重喫煙であるが卑しくない」ということは間違っている fact10: あのハードワックスは臨床症状でない fact11: もし何らかの物は卑しいとすると「その映画製作は主坑であるしそれにそれは干しがる」ということは成り立つということはない fact12: 仮にこのイタリアンレッドはクリスマスパーティーであるとするとそれは卑しい fact13: 仮に「このイタリアンレッドは均さないししかもクリスマスパーティーでない」ということは事実と異なるとしたらそれは卑しい fact14: あの薄給は重喫煙でない
fact13 & fact8 -> int1: このイタリアンレッドは卑しい; int1 -> int2: 「卑しい」物はある; int2 & fact3 -> int3: 「その映画製作は主坑だ一方で干しがらない」ということは成り立つということはない; int3 & fact7 -> hypothesis;
その映画製作は重喫煙だ
fact15 -> int4: あの装飾品が干しがるとしたら主坑だ; fact18 -> int5: もしもあの装飾品が灰色っぽいとすれば干しがる; fact16 -> int6: 「「臨床症状でない」ということは本当な」ものはある;
$facts$ = fact1: もしも「その二十世紀は干しがる」ということは正しいとしたら「それは卑しくないしおまけにそれは主坑でない」ということは成り立たない fact2: もし何らかの物が干しがるならそれは主坑である fact3: とある物は卑しいとしたら「その映画製作は主坑であるけどそれは干しがらない」ということは成り立たない fact4: もし「何らかの物は卑しいということはないし主坑でない」ということは成り立たないとすれば「それはクリスマスパーティーでない」ということは真実だ fact5: もし仮にとある物が灰色っぽいならば干しがる fact6: その映画製作が干しがるとすれば重喫煙でない fact7: 仮に「その映画製作は主坑だけれどそれは干しがらない」ということは誤りなら「それは重喫煙でない」ということは真実だ fact8: 「このイタリアンレッドは均すということはないしそれはクリスマスパーティーでない」ということは誤りだ fact9: もしあの装飾品は主坑であるとすると「このイタリアンレッドは重喫煙であるが卑しくない」ということは間違っている fact10: あのハードワックスは臨床症状でない fact11: もし何らかの物は卑しいとすると「その映画製作は主坑であるしそれにそれは干しがる」ということは成り立つということはない fact12: 仮にこのイタリアンレッドはクリスマスパーティーであるとするとそれは卑しい fact13: 仮に「このイタリアンレッドは均さないししかもクリスマスパーティーでない」ということは事実と異なるとしたらそれは卑しい fact14: あの薄給は重喫煙でない ; $hypothesis$ = その映画製作は重喫煙だ ; $proof$ = 
fact13 & fact8 -> int1: このイタリアンレッドは卑しい; int1 -> int2: 「卑しい」物はある; int2 & fact3 -> int3: 「その映画製作は主坑だ一方で干しがらない」ということは成り立つということはない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もしも「その二十世紀は干しがる」ということは正しいとしたら「それは卑しくないしおまけにそれは主坑でない」ということは成り立たない
事実2: もし何らかの物が干しがるならそれは主坑である
事実3: とある物は卑しいとしたら「その映画製作は主坑であるけどそれは干しがらない」ということは成り立たない
事実4: もし「何らかの物は卑しいということはないし主坑でない」ということは成り立たないとすれば「それはクリスマスパーティーでない」ということは真実だ
事実5: もし仮にとある物が灰色っぽいならば干しがる
事実6: その映画製作が干しがるとすれば重喫煙でない
事実7: 仮に「その映画製作は主坑だけれどそれは干しがらない」ということは誤りなら「それは重喫煙でない」ということは真実だ
事実8: 「このイタリアンレッドは均すということはないしそれはクリスマスパーティーでない」ということは誤りだ
事実9: もしあの装飾品は主坑であるとすると「このイタリアンレッドは重喫煙であるが卑しくない」ということは間違っている
事実10: あのハードワックスは臨床症状でない
事実11: もし何らかの物は卑しいとすると「その映画製作は主坑であるしそれにそれは干しがる」ということは成り立つということはない
事実12: 仮にこのイタリアンレッドはクリスマスパーティーであるとするとそれは卑しい
事実13: 仮に「このイタリアンレッドは均さないししかもクリスマスパーティーでない」ということは事実と異なるとしたらそれは卑しい
事実14: あの薄給は重喫煙でない

仮説: その映画製作は重喫煙だ
1. 事実13と事実8から、推論1: "このイタリアンレッドは卑しい"が導かれる
2. 推論1から、推論2: "「卑しい」物はある"が導かれる
3. 推論2と事実3から、推論3: "「その映画製作は主坑だ一方で干しがらない」ということは成り立つということはない"が導かれる
4. 推論3と事実7から、仮説が否定される

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