その言葉以外は感慨深い
fact1: 仮にその審美が感慨深いとしたらそれは老人福祉センターである fact2: もし仮にこのＧＲが限り無いならばその審美は手堅い fact3: とあるものが救命するとしたらそれは反目し合わないし知行しない fact4: もしも「あのシャドー付きは拝謁するしその上反目し合う」ということは成り立たないとしたら反目し合わない fact5: 仮に「このＧＲは結果報告だということはないけど打つ」ということは成り立たないならばそれは限り無い fact6: ある物が打ち易くないとすれば救命しないししかも拝謁しない fact7: 手堅くない物は感慨深いかもしくは限り無い fact8: 仮に「その審美は間違い易くなくてしかも手堅くない」ということは成り立たないならば「このＧＲは手堅くない」ということは成り立つ fact9: 「もしその審美が手堅いとすればその言葉以外は感慨深い」ということは成り立つ fact10: 「このＧＲは結果報告でないけど打つ」ということは嘘だ fact11: 「シーボーンアートでない」ものはある fact12: もしもそのグラフィックディスプレイが救命しないし拝謁しないとするとあのシャドー付きは救命する fact13: 「「このＧＲが結果報告だし更に打つ」ということは誤りである」ということは真実である fact14: 「その審美は現われ難くない」ということは確かであるとすると「このＧＲは手堅くないし加えて限り無いということはない」ということは成り立つということはない fact15: もし仮にあのシャドー付きが反目し合わないしその上それが知行しないとすればあの言葉以外は現われ難いということはない fact16: 「シーボーンアートでない」物があるとするとそのグラフィックディスプレイは打ち易くない fact17: もし「このＧＲは結果報告でないが打つ」ということは成り立つということはないとすると「感慨深い」ということは本当である
fact5 & fact10 -> int1: 「このＧＲは限り無い」ということは確かである; int1 & fact2 -> int2: その審美は手堅い; int2 & fact9 -> hypothesis;
fact5 & fact10 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{b}; int2 & fact9 -> hypothesis;
その言葉以外は感慨深くない
$facts$ = fact1: 仮にその審美が感慨深いとしたらそれは老人福祉センターである fact2: もし仮にこのＧＲが限り無いならばその審美は手堅い fact3: とあるものが救命するとしたらそれは反目し合わないし知行しない fact4: もしも「あのシャドー付きは拝謁するしその上反目し合う」ということは成り立たないとしたら反目し合わない fact5: 仮に「このＧＲは結果報告だということはないけど打つ」ということは成り立たないならばそれは限り無い fact6: ある物が打ち易くないとすれば救命しないししかも拝謁しない fact7: 手堅くない物は感慨深いかもしくは限り無い fact8: 仮に「その審美は間違い易くなくてしかも手堅くない」ということは成り立たないならば「このＧＲは手堅くない」ということは成り立つ fact9: 「もしその審美が手堅いとすればその言葉以外は感慨深い」ということは成り立つ fact10: 「このＧＲは結果報告でないけど打つ」ということは嘘だ fact11: 「シーボーンアートでない」ものはある fact12: もしもそのグラフィックディスプレイが救命しないし拝謁しないとするとあのシャドー付きは救命する fact13: 「「このＧＲが結果報告だし更に打つ」ということは誤りである」ということは真実である fact14: 「その審美は現われ難くない」ということは確かであるとすると「このＧＲは手堅くないし加えて限り無いということはない」ということは成り立つということはない fact15: もし仮にあのシャドー付きが反目し合わないしその上それが知行しないとすればあの言葉以外は現われ難いということはない fact16: 「シーボーンアートでない」物があるとするとそのグラフィックディスプレイは打ち易くない fact17: もし「このＧＲは結果報告でないが打つ」ということは成り立つということはないとすると「感慨深い」ということは本当である ; $hypothesis$ = その言葉以外は感慨深い ; $proof$ = 
fact5 & fact10 -> int1: 「このＧＲは限り無い」ということは確かである; int1 & fact2 -> int2: その審美は手堅い; int2 & fact9 -> hypothesis; __PROVED__
事実1: 仮にその審美が感慨深いとしたらそれは老人福祉センターである
事実2: もし仮にこのＧＲが限り無いならばその審美は手堅い
事実3: とあるものが救命するとしたらそれは反目し合わないし知行しない
事実4: もしも「あのシャドー付きは拝謁するしその上反目し合う」ということは成り立たないとしたら反目し合わない
事実5: 仮に「このＧＲは結果報告だということはないけど打つ」ということは成り立たないならばそれは限り無い
事実6: ある物が打ち易くないとすれば救命しないししかも拝謁しない
事実7: 手堅くない物は感慨深いかもしくは限り無い
事実8: 仮に「その審美は間違い易くなくてしかも手堅くない」ということは成り立たないならば「このＧＲは手堅くない」ということは成り立つ
事実9: 「もしその審美が手堅いとすればその言葉以外は感慨深い」ということは成り立つ
事実10: 「このＧＲは結果報告でないけど打つ」ということは嘘だ
事実11: 「シーボーンアートでない」ものはある
事実12: もしもそのグラフィックディスプレイが救命しないし拝謁しないとするとあのシャドー付きは救命する
事実13: 「「このＧＲが結果報告だし更に打つ」ということは誤りである」ということは真実である
事実14: 「その審美は現われ難くない」ということは確かであるとすると「このＧＲは手堅くないし加えて限り無いということはない」ということは成り立つということはない
事実15: もし仮にあのシャドー付きが反目し合わないしその上それが知行しないとすればあの言葉以外は現われ難いということはない
事実16: 「シーボーンアートでない」物があるとするとそのグラフィックディスプレイは打ち易くない
事実17: もし「このＧＲは結果報告でないが打つ」ということは成り立つということはないとすると「感慨深い」ということは本当である

仮説: その言葉以外は感慨深い
1. 事実5と事実10から、推論1: "「このＧＲは限り無い」ということは確かである"が導かれる
2. 推論1と事実2から、推論2: "その審美は手堅い"が導かれる
3. 推論2と事実9から、仮説が導かれる

よって、仮説が証明されました。