「この連携体制は特別養護老人ホームでないし比較し難くない」ということは間違いである
fact1: 仮に「あの重巡は好まし」ということは正しいとしたら「教育訓練でないけれど当たる」ということは間違っている fact2: もしもこの活動場面が拾い上げるとするとその予定説は太り難い fact3: もしこの活動場面が磨き上げないとしたらその映画デビューは磨き上げる fact4: この活動場面は太り難いかもしくは自戒するかもしくは両方ともである fact5: もしとあるものが拾い上げないとするとそれは磨き上げる fact6: 仮に「あの重巡は教育訓練でない一方でそれは当たる」ということは誤りならばそれは当たらない fact7: もし仮にこの活動場面が頼もしくないとしたらこの連携体制は拾い上げない fact8: その予定説が太り難いとするとこの連携体制は比較し難くない fact9: もしその予定説が太り難いならばこの連携体制は特別養護老人ホームでないしその上比較し難くない fact10: そのメンバーリストは振り直さないとすると「その予定説は自戒しないがしかしそれは太り難い」ということは誤っている fact11: もしもそのメンバーリストは暗褐色でないならば「急降下するしおまけに振り直す」ということは成り立たない fact12: 「磨き上げる」物はある fact13: もし「磨き上げない」物があるとするとこの活動場面は拾い上げるかもしくはそれは頼もしいかまたは両方ともである fact14: 「とある物は自戒しない一方で太り難い」ということは正しくないとしたらそれは太り難くない fact15: 仮になにがしかの物が堪能しないか暗褐色でないかまたは両方ともであるとすると暗褐色でない fact16: この活動場面が太り難いならこの連携体制は頼もしくない fact17: もし仮に何らかの物が磨き上げるとするとそれは拾い上げなくてかつ悲しくない fact18: もし仮になんらかの物は磨き上げれば「特別養護老人ホームでなくておまけに比較し難くない」ということは成り立たない fact19: もしこの活動場面が頼もしいならその予定説は太り難い fact20: 「磨き上げない」物はある fact21: あの重巡は好まし fact22: この連携体制は比較し難くない fact23: もしもこの連携体制が拾い上げるとするとこの活動場面は比較し難い fact24: 仮に「何らかのものは急降下するししかもそれは振り直す」ということは偽であるなら「振り直すということはない」ということは誤りでない
fact20 & fact13 -> int1: この活動場面は拾い上げるかまたはそれは頼もしい; int1 & fact2 & fact19 -> int2: その予定説は太り難い; int2 & fact9 -> hypothesis;
fact20 & fact13 -> int1: ({B}{a} v {C}{a}); int1 & fact2 & fact19 -> int2: {D}{b}; int2 & fact9 -> hypothesis;
「その映画デビューは拾い上げなくてまた悲しくない」ということは成り立つ
fact26 -> int3: もしもその映画デビューが磨き上げるとすると拾い上げるということはないし悲しくない;
$facts$ = fact1: 仮に「あの重巡は好まし」ということは正しいとしたら「教育訓練でないけれど当たる」ということは間違っている fact2: もしもこの活動場面が拾い上げるとするとその予定説は太り難い fact3: もしこの活動場面が磨き上げないとしたらその映画デビューは磨き上げる fact4: この活動場面は太り難いかもしくは自戒するかもしくは両方ともである fact5: もしとあるものが拾い上げないとするとそれは磨き上げる fact6: 仮に「あの重巡は教育訓練でない一方でそれは当たる」ということは誤りならばそれは当たらない fact7: もし仮にこの活動場面が頼もしくないとしたらこの連携体制は拾い上げない fact8: その予定説が太り難いとするとこの連携体制は比較し難くない fact9: もしその予定説が太り難いならばこの連携体制は特別養護老人ホームでないしその上比較し難くない fact10: そのメンバーリストは振り直さないとすると「その予定説は自戒しないがしかしそれは太り難い」ということは誤っている fact11: もしもそのメンバーリストは暗褐色でないならば「急降下するしおまけに振り直す」ということは成り立たない fact12: 「磨き上げる」物はある fact13: もし「磨き上げない」物があるとするとこの活動場面は拾い上げるかもしくはそれは頼もしいかまたは両方ともである fact14: 「とある物は自戒しない一方で太り難い」ということは正しくないとしたらそれは太り難くない fact15: 仮になにがしかの物が堪能しないか暗褐色でないかまたは両方ともであるとすると暗褐色でない fact16: この活動場面が太り難いならこの連携体制は頼もしくない fact17: もし仮に何らかの物が磨き上げるとするとそれは拾い上げなくてかつ悲しくない fact18: もし仮になんらかの物は磨き上げれば「特別養護老人ホームでなくておまけに比較し難くない」ということは成り立たない fact19: もしこの活動場面が頼もしいならその予定説は太り難い fact20: 「磨き上げない」物はある fact21: あの重巡は好まし fact22: この連携体制は比較し難くない fact23: もしもこの連携体制が拾い上げるとするとこの活動場面は比較し難い fact24: 仮に「何らかのものは急降下するししかもそれは振り直す」ということは偽であるなら「振り直すということはない」ということは誤りでない ; $hypothesis$ = 「この連携体制は特別養護老人ホームでないし比較し難くない」ということは間違いである ; $proof$ = 
fact20 & fact13 -> int1: この活動場面は拾い上げるかまたはそれは頼もしい; int1 & fact2 & fact19 -> int2: その予定説は太り難い; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮に「あの重巡は好まし」ということは正しいとしたら「教育訓練でないけれど当たる」ということは間違っている
事実2: もしもこの活動場面が拾い上げるとするとその予定説は太り難い
事実3: もしこの活動場面が磨き上げないとしたらその映画デビューは磨き上げる
事実4: この活動場面は太り難いかもしくは自戒するかもしくは両方ともである
事実5: もしとあるものが拾い上げないとするとそれは磨き上げる
事実6: 仮に「あの重巡は教育訓練でない一方でそれは当たる」ということは誤りならばそれは当たらない
事実7: もし仮にこの活動場面が頼もしくないとしたらこの連携体制は拾い上げない
事実8: その予定説が太り難いとするとこの連携体制は比較し難くない
事実9: もしその予定説が太り難いならばこの連携体制は特別養護老人ホームでないしその上比較し難くない
事実10: そのメンバーリストは振り直さないとすると「その予定説は自戒しないがしかしそれは太り難い」ということは誤っている
事実11: もしもそのメンバーリストは暗褐色でないならば「急降下するしおまけに振り直す」ということは成り立たない
事実12: 「磨き上げる」物はある
事実13: もし「磨き上げない」物があるとするとこの活動場面は拾い上げるかもしくはそれは頼もしいかまたは両方ともである
事実14: 「とある物は自戒しない一方で太り難い」ということは正しくないとしたらそれは太り難くない
事実15: 仮になにがしかの物が堪能しないか暗褐色でないかまたは両方ともであるとすると暗褐色でない
事実16: この活動場面が太り難いならこの連携体制は頼もしくない
事実17: もし仮に何らかの物が磨き上げるとするとそれは拾い上げなくてかつ悲しくない
事実18: もし仮になんらかの物は磨き上げれば「特別養護老人ホームでなくておまけに比較し難くない」ということは成り立たない
事実19: もしこの活動場面が頼もしいならその予定説は太り難い
事実20: 「磨き上げない」物はある
事実21: あの重巡は好まし
事実22: この連携体制は比較し難くない
事実23: もしもこの連携体制が拾い上げるとするとこの活動場面は比較し難い
事実24: 仮に「何らかのものは急降下するししかもそれは振り直す」ということは偽であるなら「振り直すということはない」ということは誤りでない

仮説: 「この連携体制は特別養護老人ホームでないし比較し難くない」ということは間違いである
1. 事実20と事実13から、推論1: "この活動場面は拾い上げるかまたはそれは頼もしい"が導かれる
2. 推論1と事実2と事実19から、推論2: "その予定説は太り難い"が導かれる
3. 推論2と事実9から、仮説が否定される

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