この日中国交回復は分解され難くない
fact1: もしもこの日中国交回復は断り難いとしたら「あの不安材料は分解され難い」ということは確かである fact2: もしも「あの研磨は断り難い」ということは事実だとすればあの不安材料はメッセージダイジェスト番号だ fact3: その御母さん達はメッセージダイジェスト番号だ fact4: もしその御母さん達が分解され難いならこの日中国交回復は眩い fact5: もしあの研磨はメッセージダイジェスト番号ならば「あの不安材料は断り難い」ということは本当だ fact6: もしもあの研磨が眩いとしたらあの不安材料は断り難い fact7: その御母さん達は寂しいかもしくはそれは眩い fact8: 「あの研磨は寂しい」ということは成り立つ fact9: 仮にこの日中国交回復が眩いとすればあの研磨は分解され難い fact10: 仮に「その御母さん達は寂しい」ということは事実ならばあの日中国交回復は分解され難い fact11: あの研磨は眩いかもしくはメッセージダイジェスト番号であるかまたは両方ともである fact12: その御母さん達は断り難い fact13: もし仮にあの不安材料が分解され難いとするとこの日中国交回復は断り難い fact14: もし仮にあの研磨が分解され難いならこの日中国交回復は眩い fact15: もしもあの研磨が分解され難いとしたらこの日中国交回復はメッセージダイジェスト番号だ fact16: あの研磨は相談し易い fact17: その御母さん達がメッセージダイジェスト番号ならあの研磨は寂しい fact18: もしあの不安材料が断り難いとするとその御母さん達は寂しい
fact11 & fact6 & fact5 -> int1: あの不安材料は断り難い; int1 & fact18 -> int2: その御母さん達は寂しい; int2 & fact10 -> hypothesis;
$facts$ = fact1: もしもこの日中国交回復は断り難いとしたら「あの不安材料は分解され難い」ということは確かである fact2: もしも「あの研磨は断り難い」ということは事実だとすればあの不安材料はメッセージダイジェスト番号だ fact3: その御母さん達はメッセージダイジェスト番号だ fact4: もしその御母さん達が分解され難いならこの日中国交回復は眩い fact5: もしあの研磨はメッセージダイジェスト番号ならば「あの不安材料は断り難い」ということは本当だ fact6: もしもあの研磨が眩いとしたらあの不安材料は断り難い fact7: その御母さん達は寂しいかもしくはそれは眩い fact8: 「あの研磨は寂しい」ということは成り立つ fact9: 仮にこの日中国交回復が眩いとすればあの研磨は分解され難い fact10: 仮に「その御母さん達は寂しい」ということは事実ならばあの日中国交回復は分解され難い fact11: あの研磨は眩いかもしくはメッセージダイジェスト番号であるかまたは両方ともである fact12: その御母さん達は断り難い fact13: もし仮にあの不安材料が分解され難いとするとこの日中国交回復は断り難い fact14: もし仮にあの研磨が分解され難いならこの日中国交回復は眩い fact15: もしもあの研磨が分解され難いとしたらこの日中国交回復はメッセージダイジェスト番号だ fact16: あの研磨は相談し易い fact17: その御母さん達がメッセージダイジェスト番号ならあの研磨は寂しい fact18: もしあの不安材料が断り難いとするとその御母さん達は寂しい ; $hypothesis$ = この日中国交回復は分解され難くない ; $proof$ = 
fact11 & fact6 & fact5 -> int1: あの不安材料は断り難い; int1 & fact18 -> int2: その御母さん達は寂しい; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもこの日中国交回復は断り難いとしたら「あの不安材料は分解され難い」ということは確かである
事実2: もしも「あの研磨は断り難い」ということは事実だとすればあの不安材料はメッセージダイジェスト番号だ
事実3: その御母さん達はメッセージダイジェスト番号だ
事実4: もしその御母さん達が分解され難いならこの日中国交回復は眩い
事実5: もしあの研磨はメッセージダイジェスト番号ならば「あの不安材料は断り難い」ということは本当だ
事実6: もしもあの研磨が眩いとしたらあの不安材料は断り難い
事実7: その御母さん達は寂しいかもしくはそれは眩い
事実8: 「あの研磨は寂しい」ということは成り立つ
事実9: 仮にこの日中国交回復が眩いとすればあの研磨は分解され難い
事実10: 仮に「その御母さん達は寂しい」ということは事実ならばあの日中国交回復は分解され難い
事実11: あの研磨は眩いかもしくはメッセージダイジェスト番号であるかまたは両方ともである
事実12: その御母さん達は断り難い
事実13: もし仮にあの不安材料が分解され難いとするとこの日中国交回復は断り難い
事実14: もし仮にあの研磨が分解され難いならこの日中国交回復は眩い
事実15: もしもあの研磨が分解され難いとしたらこの日中国交回復はメッセージダイジェスト番号だ
事実16: あの研磨は相談し易い
事実17: その御母さん達がメッセージダイジェスト番号ならあの研磨は寂しい
事実18: もしあの不安材料が断り難いとするとその御母さん達は寂しい

仮説: この日中国交回復は分解され難くない
1. 事実11と事実6と事実5から、推論1: "あの不安材料は断り難い"が導かれる
2. 推論1と事実18から、推論2: "その御母さん達は寂しい"が導かれる
3. 推論2と事実10から、仮説が否定される

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