この剛は招集する
fact1: 「「「慈悲深くないけど優しい」ということは事実である」ということは成り立たない」物があるとするとこの剛は出る fact2: 起き易いものは慈悲深い fact3: とある物はわりなくないけれどそれは考案である fact4: もし何らかのものが出るならそれは招集する fact5: 「「慈悲深いし優しい」ということは成り立つということはない」ものはある fact6: この剛は優しい fact7: もしあるものが厳ついとしたらそれは読み得る fact8: もし仮にこの老人保健制度が停留睾丸であるとすれば一頃だということはないしその上それは許可証明書でない fact9: もしも「「揺すり立てるということはないけど散乱Ｘ線である」ということは確かでない」物があるとしたらこの剛は発車する fact10: あの死体安置室は出る fact11: 「「親らしいということはないけれど取れ難い」ということは成り立たない」ものはある fact12: もし何らかのものが執念深いならこの剛は慈悲深い fact13: 「「化学蒸気輸送でないしわりない」ということは成り立たない」物はある fact14: もし「ある物は一頃でなくてしかも許可証明書でない」ということは成り立つなら厳つい fact15: なにかは読み得れば「それは出る」ということは成り立つ fact16: なにかは客観視出来れば「ソテーする」ということは成り立つ fact17: もしあの残存は下げまんであるとすればそれは根気強い fact18: 「「削り過ぎるしおまけにイェニイ・リンドである」ということは成り立たない」物はある fact19: もし仮に「慈悲深い」ものがあるとしたらこの剛は出る fact20: 「慈悲深くないけれど優しい」物はある fact21: 「「慈悲深くないけれど優しい」ということは成り立たない」ものはある
fact21 & fact1 -> int1: 「この剛は出る」ということは成り立つ; fact4 -> int2: もしもこの剛が出ればそれは招集する; int1 & int2 -> hypothesis;
もし仮にこの剛が起き易いとしたら慈悲深い
fact22 -> hypothesis;
$facts$ = fact1: 「「「慈悲深くないけど優しい」ということは事実である」ということは成り立たない」物があるとするとこの剛は出る fact2: 起き易いものは慈悲深い fact3: とある物はわりなくないけれどそれは考案である fact4: もし何らかのものが出るならそれは招集する fact5: 「「慈悲深いし優しい」ということは成り立つということはない」ものはある fact6: この剛は優しい fact7: もしあるものが厳ついとしたらそれは読み得る fact8: もし仮にこの老人保健制度が停留睾丸であるとすれば一頃だということはないしその上それは許可証明書でない fact9: もしも「「揺すり立てるということはないけど散乱Ｘ線である」ということは確かでない」物があるとしたらこの剛は発車する fact10: あの死体安置室は出る fact11: 「「親らしいということはないけれど取れ難い」ということは成り立たない」ものはある fact12: もし何らかのものが執念深いならこの剛は慈悲深い fact13: 「「化学蒸気輸送でないしわりない」ということは成り立たない」物はある fact14: もし「ある物は一頃でなくてしかも許可証明書でない」ということは成り立つなら厳つい fact15: なにかは読み得れば「それは出る」ということは成り立つ fact16: なにかは客観視出来れば「ソテーする」ということは成り立つ fact17: もしあの残存は下げまんであるとすればそれは根気強い fact18: 「「削り過ぎるしおまけにイェニイ・リンドである」ということは成り立たない」物はある fact19: もし仮に「慈悲深い」ものがあるとしたらこの剛は出る fact20: 「慈悲深くないけれど優しい」物はある fact21: 「「慈悲深くないけれど優しい」ということは成り立たない」ものはある ; $hypothesis$ = この剛は招集する ; $proof$ = 
fact21 & fact1 -> int1: 「この剛は出る」ということは成り立つ; fact4 -> int2: もしもこの剛が出ればそれは招集する; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「「慈悲深くないけど優しい」ということは事実である」ということは成り立たない」物があるとするとこの剛は出る
事実2: 起き易いものは慈悲深い
事実3: とある物はわりなくないけれどそれは考案である
事実4: もし何らかのものが出るならそれは招集する
事実5: 「「慈悲深いし優しい」ということは成り立つということはない」ものはある
事実6: この剛は優しい
事実7: もしあるものが厳ついとしたらそれは読み得る
事実8: もし仮にこの老人保健制度が停留睾丸であるとすれば一頃だということはないしその上それは許可証明書でない
事実9: もしも「「揺すり立てるということはないけど散乱Ｘ線である」ということは確かでない」物があるとしたらこの剛は発車する
事実10: あの死体安置室は出る
事実11: 「「親らしいということはないけれど取れ難い」ということは成り立たない」ものはある
事実12: もし何らかのものが執念深いならこの剛は慈悲深い
事実13: 「「化学蒸気輸送でないしわりない」ということは成り立たない」物はある
事実14: もし「ある物は一頃でなくてしかも許可証明書でない」ということは成り立つなら厳つい
事実15: なにかは読み得れば「それは出る」ということは成り立つ
事実16: なにかは客観視出来れば「ソテーする」ということは成り立つ
事実17: もしあの残存は下げまんであるとすればそれは根気強い
事実18: 「「削り過ぎるしおまけにイェニイ・リンドである」ということは成り立たない」物はある
事実19: もし仮に「慈悲深い」ものがあるとしたらこの剛は出る
事実20: 「慈悲深くないけれど優しい」物はある
事実21: 「「慈悲深くないけれど優しい」ということは成り立たない」ものはある

仮説: この剛は招集する
1. 事実21と事実1から、推論1: "「この剛は出る」ということは成り立つ"が導かれる
2. 事実4から、推論2: "もしもこの剛が出ればそれは招集する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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