この父は緩み易くない
fact1: 「攻め上る」物があるとするとこの父は絞れるし鑑賞し易い fact2: もし仮にあのセカンドメッセンジャーが緩み易いということはないならばこの父は専従するしおまけに総合勘案する fact3: この粒状度は外見上であるしそれは聞き取り難い fact4: この父は攻め上る fact5: 「「総合勘案する」ということは成り立つ」ものはある fact6: もしも「総合勘案する」ものがあるとするとこの父は攻め上る fact7: 仮に「総合勘案する」物があるとするとこの父は緩み易いししかも攻め上る fact8: この父は使い易い fact9: もし仮にあのセカンドメッセンジャーは攻め上るとしたら「この父は総合勘案しないけど緩み易い」ということは正しくない fact10: もし仮にその各ファクターが茶色っぽくないとしたらあのセカンドメッセンジャーは攻め上るしさらに把握し易い fact11: この父は黄色がかる fact12: あの温泉利用型健康増進施設は緩み易い fact13: もし仮に「何らかの物は総合勘案しないけど緩み易い」ということは成り立たないならそれは緩み易くない fact14: 「父親らしい」物があるとしたらこの父は専従するしそれにそれは緩み易い fact15: とある物は攻め上る fact16: 「「未婚だ」ということは本当な」物はある
fact5 & fact7 -> int1: この父は緩み易いしさらに攻め上る; int1 -> hypothesis;
fact5 & fact7 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
この父は緩み易くない
fact17 -> int2: もし「この父は総合勘案しないけれどそれは緩み易い」ということは間違いだとするとそれは緩み易くない;
$facts$ = fact1: 「攻め上る」物があるとするとこの父は絞れるし鑑賞し易い fact2: もし仮にあのセカンドメッセンジャーが緩み易いということはないならばこの父は専従するしおまけに総合勘案する fact3: この粒状度は外見上であるしそれは聞き取り難い fact4: この父は攻め上る fact5: 「「総合勘案する」ということは成り立つ」ものはある fact6: もしも「総合勘案する」ものがあるとするとこの父は攻め上る fact7: 仮に「総合勘案する」物があるとするとこの父は緩み易いししかも攻め上る fact8: この父は使い易い fact9: もし仮にあのセカンドメッセンジャーは攻め上るとしたら「この父は総合勘案しないけど緩み易い」ということは正しくない fact10: もし仮にその各ファクターが茶色っぽくないとしたらあのセカンドメッセンジャーは攻め上るしさらに把握し易い fact11: この父は黄色がかる fact12: あの温泉利用型健康増進施設は緩み易い fact13: もし仮に「何らかの物は総合勘案しないけど緩み易い」ということは成り立たないならそれは緩み易くない fact14: 「父親らしい」物があるとしたらこの父は専従するしそれにそれは緩み易い fact15: とある物は攻め上る fact16: 「「未婚だ」ということは本当な」物はある ; $hypothesis$ = この父は緩み易くない ; $proof$ = 
fact5 & fact7 -> int1: この父は緩み易いしさらに攻め上る; int1 -> hypothesis; __DISPROVED__
事実1: 「攻め上る」物があるとするとこの父は絞れるし鑑賞し易い
事実2: もし仮にあのセカンドメッセンジャーが緩み易いということはないならばこの父は専従するしおまけに総合勘案する
事実3: この粒状度は外見上であるしそれは聞き取り難い
事実4: この父は攻め上る
事実5: 「「総合勘案する」ということは成り立つ」ものはある
事実6: もしも「総合勘案する」ものがあるとするとこの父は攻め上る
事実7: 仮に「総合勘案する」物があるとするとこの父は緩み易いししかも攻め上る
事実8: この父は使い易い
事実9: もし仮にあのセカンドメッセンジャーは攻め上るとしたら「この父は総合勘案しないけど緩み易い」ということは正しくない
事実10: もし仮にその各ファクターが茶色っぽくないとしたらあのセカンドメッセンジャーは攻め上るしさらに把握し易い
事実11: この父は黄色がかる
事実12: あの温泉利用型健康増進施設は緩み易い
事実13: もし仮に「何らかの物は総合勘案しないけど緩み易い」ということは成り立たないならそれは緩み易くない
事実14: 「父親らしい」物があるとしたらこの父は専従するしそれにそれは緩み易い
事実15: とある物は攻め上る
事実16: 「「未婚だ」ということは本当な」物はある

仮説: この父は緩み易くない
1. 事実5と事実7から、推論1: "この父は緩み易いしさらに攻め上る"が導かれる
2. 推論1から、仮説が否定される

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