あのフェアレディはめんど臭くない
fact1: あのフェアレディは御金であるがしかし寮でない fact2: もしあのフェアレディが幼いとすればそれは京都らしいが御金でない fact3: あのフェアレディは御金だ fact4: そのエネルギー問題は幼いけれどめんど臭いということはない fact5: もしもそのエネルギー問題がうろちょろするなら后妃だ fact6: そのエネルギー問題は御金だ fact7: そのエネルギー問題は幼い fact8: 仮にそのエネルギー問題が京都らしいがしかし紳士淑女でないならばあのフェアレディは京都らしくない fact9: もしそのエネルギー問題が御金であるとしたらそれは幼いしそれはうろちょろしない fact10: もしもそのエネルギー問題が幼い一方でうろちょろしないとしたらあのフェアレディは京都らしい fact11: そのエネルギー問題は御金であるとすると幼い fact12: もしあの資産損失は高齢者向け優良賃貸住宅でないとすれば「あのフェアレディはめんど臭いし紳士淑女だ」ということは正しいということはない fact13: もしなにがしかの物が京都らしいならばめんど臭い fact14: この野生生物保存区は京都らしい fact15: あの資産損失が京都らしいとしたらそのエネルギー問題は京都らしい fact16: そのエネルギー問題が身軽いとしたらそれは堅苦しい
fact9 & fact6 -> int1: そのエネルギー問題は幼いがそれはうろちょろしない; int1 & fact10 -> int2: あのフェアレディは京都らしい; fact13 -> int3: 「もし仮にあのフェアレディが京都らしいならばあのフェアレディはめんど臭い」ということは成り立つ; int2 & int3 -> hypothesis;
fact9 & fact6 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact10 -> int2: {B}{b}; fact13 -> int3: {B}{b} -> {C}{b}; int2 & int3 -> hypothesis;
あのフェアレディはめんど臭くない
$facts$ = fact1: あのフェアレディは御金であるがしかし寮でない fact2: もしあのフェアレディが幼いとすればそれは京都らしいが御金でない fact3: あのフェアレディは御金だ fact4: そのエネルギー問題は幼いけれどめんど臭いということはない fact5: もしもそのエネルギー問題がうろちょろするなら后妃だ fact6: そのエネルギー問題は御金だ fact7: そのエネルギー問題は幼い fact8: 仮にそのエネルギー問題が京都らしいがしかし紳士淑女でないならばあのフェアレディは京都らしくない fact9: もしそのエネルギー問題が御金であるとしたらそれは幼いしそれはうろちょろしない fact10: もしもそのエネルギー問題が幼い一方でうろちょろしないとしたらあのフェアレディは京都らしい fact11: そのエネルギー問題は御金であるとすると幼い fact12: もしあの資産損失は高齢者向け優良賃貸住宅でないとすれば「あのフェアレディはめんど臭いし紳士淑女だ」ということは正しいということはない fact13: もしなにがしかの物が京都らしいならばめんど臭い fact14: この野生生物保存区は京都らしい fact15: あの資産損失が京都らしいとしたらそのエネルギー問題は京都らしい fact16: そのエネルギー問題が身軽いとしたらそれは堅苦しい ; $hypothesis$ = あのフェアレディはめんど臭くない ; $proof$ = 
fact9 & fact6 -> int1: そのエネルギー問題は幼いがそれはうろちょろしない; int1 & fact10 -> int2: あのフェアレディは京都らしい; fact13 -> int3: 「もし仮にあのフェアレディが京都らしいならばあのフェアレディはめんど臭い」ということは成り立つ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あのフェアレディは御金であるがしかし寮でない
事実2: もしあのフェアレディが幼いとすればそれは京都らしいが御金でない
事実3: あのフェアレディは御金だ
事実4: そのエネルギー問題は幼いけれどめんど臭いということはない
事実5: もしもそのエネルギー問題がうろちょろするなら后妃だ
事実6: そのエネルギー問題は御金だ
事実7: そのエネルギー問題は幼い
事実8: 仮にそのエネルギー問題が京都らしいがしかし紳士淑女でないならばあのフェアレディは京都らしくない
事実9: もしそのエネルギー問題が御金であるとしたらそれは幼いしそれはうろちょろしない
事実10: もしもそのエネルギー問題が幼い一方でうろちょろしないとしたらあのフェアレディは京都らしい
事実11: そのエネルギー問題は御金であるとすると幼い
事実12: もしあの資産損失は高齢者向け優良賃貸住宅でないとすれば「あのフェアレディはめんど臭いし紳士淑女だ」ということは正しいということはない
事実13: もしなにがしかの物が京都らしいならばめんど臭い
事実14: この野生生物保存区は京都らしい
事実15: あの資産損失が京都らしいとしたらそのエネルギー問題は京都らしい
事実16: そのエネルギー問題が身軽いとしたらそれは堅苦しい

仮説: あのフェアレディはめんど臭くない
1. 事実9と事実6から、推論1: "そのエネルギー問題は幼いがそれはうろちょろしない"が導かれる
2. 推論1と事実10から、推論2: "あのフェアレディは京都らしい"が導かれる
3. 事実13から、推論3: "「もし仮にあのフェアレディが京都らしいならばあのフェアレディはめんど臭い」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が否定される

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