あのスチームクリーナーはレンタルしない
fact1: その室内温度はＡＦであるということはないならば「この炭素Ｃはあざとくてまた蹴り飛ばす」ということは本当だということはない fact2: 仮にその室内温度があざとくないとすればこの炭素Ｃはしょぼい fact3: もしもこの炭素Ｃがごたごたするならあの劇団員はＡＦでないけれどそれは座り易い fact4: もしこの野外美術館は御電話するということはないとすれば「あの劇団員は切り離し難い」ということは本当である fact5: もしも「この炭素Ｃはあざとくない一方でそれは蹴り飛ばす」ということは偽であるとすればあのスチームクリーナーはレンタルする fact6: もし仮にこの野外美術館が御電話しないとすればあの劇団員は切り離し難いしかつごたごたする fact7: この野外美術館は御電話しない fact8: あの劇団員は切り離し難い fact9: 「もし仮にその室内温度はＡＦでないとすると「この炭素Ｃはあざとくないけれど蹴り飛ばす」ということは偽である」ということは確かだ fact10: もし「この炭素Ｃは蹴り飛ばさない一方でごたごたする」ということは誤りならあの劇団員はあざとい fact11: もしあの劇団員がレンタルするとしたらあのスチームクリーナーはレンタルするということはない fact12: もしもこの炭素Ｃがあざといならばあのスチームクリーナーはレンタルする fact13: もしもなんらかのものがしょぼいとすればそれは座り易い fact14: あの班田収授制はしょぼい fact15: もし「あの班田収授制はしょぼい」ということは事実であるとするとその室内温度はしょぼい fact16: その多数者は御電話しない fact17: 「この炭素Ｃはあざとくて蹴り飛ばす」ということは成り立たない fact18: その室内温度が座り易くておまけにそれがＡＦであるとするとあの劇団員はごたごたするということはない fact19: とある物がＡＦでないとするとそれはレンタルするし更にそれはしょぼい fact20: この炭素Ｃはレンタルするということはない
fact13 -> int1: 「その室内温度はしょぼい」ということは本当であるとすればそれは座り易い; fact14 & fact15 -> int2: その室内温度はしょぼい; int1 & int2 -> int3: その室内温度は座り易い; void -> assump1: 以下のように仮定する。その室内温度はＡＦである; int3 & assump1 -> int4: その室内温度は座り易いしさらにそれはＡＦである; int4 & fact18 -> int5: あの劇団員はごたごたしない; fact7 & fact6 -> int6: あの劇団員は切り離し難いしごたごたする; int6 -> int7: あの劇団員はごたごたする; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その室内温度はＡＦでない; int9 & fact9 -> int10: 「この炭素Ｃはあざといということはない一方で蹴り飛ばす」ということは成り立たない; int10 & fact5 -> hypothesis;
あのスチームクリーナーはレンタルしない
fact22 -> int11: 仮にあの劇団員がＡＦでないとすればそれはレンタルするしおまけにしょぼい;
$facts$ = fact1: その室内温度はＡＦであるということはないならば「この炭素Ｃはあざとくてまた蹴り飛ばす」ということは本当だということはない fact2: 仮にその室内温度があざとくないとすればこの炭素Ｃはしょぼい fact3: もしもこの炭素Ｃがごたごたするならあの劇団員はＡＦでないけれどそれは座り易い fact4: もしこの野外美術館は御電話するということはないとすれば「あの劇団員は切り離し難い」ということは本当である fact5: もしも「この炭素Ｃはあざとくない一方でそれは蹴り飛ばす」ということは偽であるとすればあのスチームクリーナーはレンタルする fact6: もし仮にこの野外美術館が御電話しないとすればあの劇団員は切り離し難いしかつごたごたする fact7: この野外美術館は御電話しない fact8: あの劇団員は切り離し難い fact9: 「もし仮にその室内温度はＡＦでないとすると「この炭素Ｃはあざとくないけれど蹴り飛ばす」ということは偽である」ということは確かだ fact10: もし「この炭素Ｃは蹴り飛ばさない一方でごたごたする」ということは誤りならあの劇団員はあざとい fact11: もしあの劇団員がレンタルするとしたらあのスチームクリーナーはレンタルするということはない fact12: もしもこの炭素Ｃがあざといならばあのスチームクリーナーはレンタルする fact13: もしもなんらかのものがしょぼいとすればそれは座り易い fact14: あの班田収授制はしょぼい fact15: もし「あの班田収授制はしょぼい」ということは事実であるとするとその室内温度はしょぼい fact16: その多数者は御電話しない fact17: 「この炭素Ｃはあざとくて蹴り飛ばす」ということは成り立たない fact18: その室内温度が座り易くておまけにそれがＡＦであるとするとあの劇団員はごたごたするということはない fact19: とある物がＡＦでないとするとそれはレンタルするし更にそれはしょぼい fact20: この炭素Ｃはレンタルするということはない ; $hypothesis$ = あのスチームクリーナーはレンタルしない ; $proof$ = 
fact13 -> int1: 「その室内温度はしょぼい」ということは本当であるとすればそれは座り易い; fact14 & fact15 -> int2: その室内温度はしょぼい; int1 & int2 -> int3: その室内温度は座り易い; void -> assump1: 以下のように仮定する。その室内温度はＡＦである; int3 & assump1 -> int4: その室内温度は座り易いしさらにそれはＡＦである; int4 & fact18 -> int5: あの劇団員はごたごたしない; fact7 & fact6 -> int6: あの劇団員は切り離し難いしごたごたする; int6 -> int7: あの劇団員はごたごたする; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その室内温度はＡＦでない; int9 & fact9 -> int10: 「この炭素Ｃはあざといということはない一方で蹴り飛ばす」ということは成り立たない; int10 & fact5 -> hypothesis; __DISPROVED__
事実1: その室内温度はＡＦであるということはないならば「この炭素Ｃはあざとくてまた蹴り飛ばす」ということは本当だということはない
事実2: 仮にその室内温度があざとくないとすればこの炭素Ｃはしょぼい
事実3: もしもこの炭素Ｃがごたごたするならあの劇団員はＡＦでないけれどそれは座り易い
事実4: もしこの野外美術館は御電話するということはないとすれば「あの劇団員は切り離し難い」ということは本当である
事実5: もしも「この炭素Ｃはあざとくない一方でそれは蹴り飛ばす」ということは偽であるとすればあのスチームクリーナーはレンタルする
事実6: もし仮にこの野外美術館が御電話しないとすればあの劇団員は切り離し難いしかつごたごたする
事実7: この野外美術館は御電話しない
事実8: あの劇団員は切り離し難い
事実9: 「もし仮にその室内温度はＡＦでないとすると「この炭素Ｃはあざとくないけれど蹴り飛ばす」ということは偽である」ということは確かだ
事実10: もし「この炭素Ｃは蹴り飛ばさない一方でごたごたする」ということは誤りならあの劇団員はあざとい
事実11: もしあの劇団員がレンタルするとしたらあのスチームクリーナーはレンタルするということはない
事実12: もしもこの炭素Ｃがあざといならばあのスチームクリーナーはレンタルする
事実13: もしもなんらかのものがしょぼいとすればそれは座り易い
事実14: あの班田収授制はしょぼい
事実15: もし「あの班田収授制はしょぼい」ということは事実であるとするとその室内温度はしょぼい
事実16: その多数者は御電話しない
事実17: 「この炭素Ｃはあざとくて蹴り飛ばす」ということは成り立たない
事実18: その室内温度が座り易くておまけにそれがＡＦであるとするとあの劇団員はごたごたするということはない
事実19: とある物がＡＦでないとするとそれはレンタルするし更にそれはしょぼい
事実20: この炭素Ｃはレンタルするということはない

仮説: あのスチームクリーナーはレンタルしない
1. 事実13から、推論1: "「その室内温度はしょぼい」ということは本当であるとすればそれは座り易い"が導かれる
2. 事実14と事実15から、推論2: "その室内温度はしょぼい"が導かれる
3. 推論1と推論2から、推論3: "その室内温度は座り易い"が導かれる
4. 仮定1: 以下のように仮定する。その室内温度はＡＦである
5. 推論3と仮定1から、推論4: "その室内温度は座り易いしさらにそれはＡＦである"が導かれる
6. 推論4と事実18から、推論5: "あの劇団員はごたごたしない"が導かれる
7. 事実7と事実6から、推論6: "あの劇団員は切り離し難いしごたごたする"が導かれる
8. 推論6から、推論7: "あの劇団員はごたごたする"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その室内温度はＡＦでない"が導かれる
11. 推論9と事実9から、推論10: "「この炭素Ｃはあざといということはない一方で蹴り飛ばす」ということは成り立たない"が導かれる
12. 推論10と事実5から、仮説が否定される

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