この御節は怒りっぽい
fact1: なにかは枯れるし卑しいとすると掛け流さない fact2: その品性が中枢神経抑制薬でないしスティックでないとすればあのタウンは中枢神経抑制薬だ fact3: 「作用点でない」物はある fact4: とあるものは枯れない fact5: すべてのものはＣＨでない fact6: あのハードウエアは悍ましくないしかつそれは苛々し易くない fact7: 作用点はある fact8: 仮に「中枢神経抑制薬な」物があるならその営業所等は湿気るし再発し易い fact9: この御節は賑々しくないしかつダンスでない fact10: この魚釣りは枯れない fact11: もし仮にその営業所等が再発し易いとするとあのハードウエアは再発し易い fact12: もしあのハードウエアが再発し易いとしたらこの御節は拾い集めなくて反省しない fact13: 「作用点でない」物があるとすればあのハードウエアは掛け流さなくてその上それは枯れない fact14: もしも何らかのものは掛け流さないならば「怒りっぽくてそれに作用点だ」ということは成り立つ fact15: 仮に「とある物はＣＨでない」ということは本当であるならそれは名品であるし加えてそれは可笑し fact16: 仮にあのハードウエアが掛け流すけれど枯れないとすればこの御節は怒りっぽくない fact17: あの自らは仰々しくないしかつ枯れるということはない fact18: あのハードウエアが掛け流さないけれど枯れるならばあの御節は怒りっぽくない fact19: 仮にあのハードウエアが掛け流さなくてそれが枯れないならばこの御節は怒りっぽくない fact20: 仮にその品性は名品であるとしたら中枢神経抑制薬でないししかもスティックでない
fact3 & fact13 -> int1: あのハードウエアは掛け流さないし加えてそれは枯れない; int1 & fact19 -> hypothesis;
fact3 & fact13 -> int1: (¬{B}{a} & ¬{C}{a}); int1 & fact19 -> hypothesis;
「この御節は怒りっぽい」ということは正しい
fact21 -> int2: もしもこの御節が掛け流さないとしたら怒りっぽいしまたそれは作用点である; fact25 -> int3: もし仮にこの御節は枯れるし卑しいとすると「それは掛け流さない」ということは本当である; fact22 -> int4: もしこの読字課題はＣＨでないならばそれは名品であるしおまけに可笑し; fact26 -> int5: この読字課題はＣＨでない; int4 & int5 -> int6: この読字課題は名品であるしかつそれは可笑し; int6 -> int7: すべては名品で可笑し; int7 -> int8: その品性は名品であるしその上可笑し; int8 -> int9: 「その品性は名品だ」ということは成り立つ; fact28 & int9 -> int10: その品性は中枢神経抑制薬でないしおまけにスティックでない; fact23 & int10 -> int11: あのタウンは中枢神経抑制薬だ; int11 -> int12: なにがしかのものは中枢神経抑制薬である; fact29 & int12 -> int13: その営業所等は湿気るし再発し易い; int13 -> int14: その営業所等は再発し易い; int14 & fact24 -> int15: あのハードウエアは再発し易い; fact27 & int15 -> int16: この御節は拾い集めるということはないしまた反省しない; int16 -> int17: この御節は反省するということはない;
$facts$ = fact1: なにかは枯れるし卑しいとすると掛け流さない fact2: その品性が中枢神経抑制薬でないしスティックでないとすればあのタウンは中枢神経抑制薬だ fact3: 「作用点でない」物はある fact4: とあるものは枯れない fact5: すべてのものはＣＨでない fact6: あのハードウエアは悍ましくないしかつそれは苛々し易くない fact7: 作用点はある fact8: 仮に「中枢神経抑制薬な」物があるならその営業所等は湿気るし再発し易い fact9: この御節は賑々しくないしかつダンスでない fact10: この魚釣りは枯れない fact11: もし仮にその営業所等が再発し易いとするとあのハードウエアは再発し易い fact12: もしあのハードウエアが再発し易いとしたらこの御節は拾い集めなくて反省しない fact13: 「作用点でない」物があるとすればあのハードウエアは掛け流さなくてその上それは枯れない fact14: もしも何らかのものは掛け流さないならば「怒りっぽくてそれに作用点だ」ということは成り立つ fact15: 仮に「とある物はＣＨでない」ということは本当であるならそれは名品であるし加えてそれは可笑し fact16: 仮にあのハードウエアが掛け流すけれど枯れないとすればこの御節は怒りっぽくない fact17: あの自らは仰々しくないしかつ枯れるということはない fact18: あのハードウエアが掛け流さないけれど枯れるならばあの御節は怒りっぽくない fact19: 仮にあのハードウエアが掛け流さなくてそれが枯れないならばこの御節は怒りっぽくない fact20: 仮にその品性は名品であるとしたら中枢神経抑制薬でないししかもスティックでない ; $hypothesis$ = この御節は怒りっぽい ; $proof$ = 
fact3 & fact13 -> int1: あのハードウエアは掛け流さないし加えてそれは枯れない; int1 & fact19 -> hypothesis; __DISPROVED__
事実1: なにかは枯れるし卑しいとすると掛け流さない
事実2: その品性が中枢神経抑制薬でないしスティックでないとすればあのタウンは中枢神経抑制薬だ
事実3: 「作用点でない」物はある
事実4: とあるものは枯れない
事実5: すべてのものはＣＨでない
事実6: あのハードウエアは悍ましくないしかつそれは苛々し易くない
事実7: 作用点はある
事実8: 仮に「中枢神経抑制薬な」物があるならその営業所等は湿気るし再発し易い
事実9: この御節は賑々しくないしかつダンスでない
事実10: この魚釣りは枯れない
事実11: もし仮にその営業所等が再発し易いとするとあのハードウエアは再発し易い
事実12: もしあのハードウエアが再発し易いとしたらこの御節は拾い集めなくて反省しない
事実13: 「作用点でない」物があるとすればあのハードウエアは掛け流さなくてその上それは枯れない
事実14: もしも何らかのものは掛け流さないならば「怒りっぽくてそれに作用点だ」ということは成り立つ
事実15: 仮に「とある物はＣＨでない」ということは本当であるならそれは名品であるし加えてそれは可笑し
事実16: 仮にあのハードウエアが掛け流すけれど枯れないとすればこの御節は怒りっぽくない
事実17: あの自らは仰々しくないしかつ枯れるということはない
事実18: あのハードウエアが掛け流さないけれど枯れるならばあの御節は怒りっぽくない
事実19: 仮にあのハードウエアが掛け流さなくてそれが枯れないならばこの御節は怒りっぽくない
事実20: 仮にその品性は名品であるとしたら中枢神経抑制薬でないししかもスティックでない

仮説: この御節は怒りっぽい
1. 事実3と事実13から、推論1: "あのハードウエアは掛け流さないし加えてそれは枯れない"が導かれる
2. 推論1と事実19から、仮説が否定される

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