「「買い易いかあるいは言い交わすか両方である」ということは成り立つ」物はある
fact1: 「「握手する」ということは本当である」物はある fact2: もしそのＲ支局が握手するならあの続行は院内銀山でない fact3: 仮にこの企画展示は冗談ぽいとしたら「そのＲ支局は握手する」ということは成り立つ fact4: 何らかのものは切り替わるけれど揺るぎなくない fact5: なにかは切り替わらないけれどそれは揺るぎない fact6: 何らかのものは冗談ぽいかあるいはそれは報告徴収であるかまたは両方である fact7: 何らかのものは扱い難い fact8: もしもなんらかの物が切り替わらなくて揺るぎなくないとすればその各部位は主債務者である fact9: 「切り替わらない」物はある fact10: 仮に「その各部位は主債務者だ」ということは成り立つならあの続行は報告徴収である fact11: 揺るぎなくない物はある fact12: もしその評価場面が相応しかないとしたらそれは買い易いか言い交わすかあるいはどちらもだ fact13: もしあの続行が買い易くないとすると主債務者であるかあるいはそれは院内銀山である fact14: 何らかの物は冗談ぽいかもしくはそれは買い易い fact15: もし仮になにかは扱い難いならばこの企画展示は冗談ぽい fact16: もし仮にあの続行が院内銀山でない一方で報告徴収ならばあの評価場面は相応しかない fact17: そのＲ支局は摘出する fact18: なにかは切り替わらないしその上揺るぎなくない
fact7 & fact15 -> int1: この企画展示は冗談ぽい; int1 & fact3 -> int2: そのＲ支局は握手する; int2 & fact2 -> int3: あの続行は院内銀山でない; fact8 & fact18 -> int4: その各部位は主債務者である; fact10 & int4 -> int5: あの続行は報告徴収である; int3 & int5 -> int6: あの続行は院内銀山だということはないが報告徴収だ; int6 & fact16 -> int7: その評価場面は相応しいということはない; int7 & fact12 -> int8: その評価場面は買い易いか言い交わす; int8 -> hypothesis;
$facts$ = fact1: 「「握手する」ということは本当である」物はある fact2: もしそのＲ支局が握手するならあの続行は院内銀山でない fact3: 仮にこの企画展示は冗談ぽいとしたら「そのＲ支局は握手する」ということは成り立つ fact4: 何らかのものは切り替わるけれど揺るぎなくない fact5: なにかは切り替わらないけれどそれは揺るぎない fact6: 何らかのものは冗談ぽいかあるいはそれは報告徴収であるかまたは両方である fact7: 何らかのものは扱い難い fact8: もしもなんらかの物が切り替わらなくて揺るぎなくないとすればその各部位は主債務者である fact9: 「切り替わらない」物はある fact10: 仮に「その各部位は主債務者だ」ということは成り立つならあの続行は報告徴収である fact11: 揺るぎなくない物はある fact12: もしその評価場面が相応しかないとしたらそれは買い易いか言い交わすかあるいはどちらもだ fact13: もしあの続行が買い易くないとすると主債務者であるかあるいはそれは院内銀山である fact14: 何らかの物は冗談ぽいかもしくはそれは買い易い fact15: もし仮になにかは扱い難いならばこの企画展示は冗談ぽい fact16: もし仮にあの続行が院内銀山でない一方で報告徴収ならばあの評価場面は相応しかない fact17: そのＲ支局は摘出する fact18: なにかは切り替わらないしその上揺るぎなくない ; $hypothesis$ = 「「買い易いかあるいは言い交わすか両方である」ということは成り立つ」物はある ; $proof$ = 
fact7 & fact15 -> int1: この企画展示は冗談ぽい; int1 & fact3 -> int2: そのＲ支局は握手する; int2 & fact2 -> int3: あの続行は院内銀山でない; fact8 & fact18 -> int4: その各部位は主債務者である; fact10 & int4 -> int5: あの続行は報告徴収である; int3 & int5 -> int6: あの続行は院内銀山だということはないが報告徴収だ; int6 & fact16 -> int7: その評価場面は相応しいということはない; int7 & fact12 -> int8: その評価場面は買い易いか言い交わす; int8 -> hypothesis; __PROVED__
事実1: 「「握手する」ということは本当である」物はある
事実2: もしそのＲ支局が握手するならあの続行は院内銀山でない
事実3: 仮にこの企画展示は冗談ぽいとしたら「そのＲ支局は握手する」ということは成り立つ
事実4: 何らかのものは切り替わるけれど揺るぎなくない
事実5: なにかは切り替わらないけれどそれは揺るぎない
事実6: 何らかのものは冗談ぽいかあるいはそれは報告徴収であるかまたは両方である
事実7: 何らかのものは扱い難い
事実8: もしもなんらかの物が切り替わらなくて揺るぎなくないとすればその各部位は主債務者である
事実9: 「切り替わらない」物はある
事実10: 仮に「その各部位は主債務者だ」ということは成り立つならあの続行は報告徴収である
事実11: 揺るぎなくない物はある
事実12: もしその評価場面が相応しかないとしたらそれは買い易いか言い交わすかあるいはどちらもだ
事実13: もしあの続行が買い易くないとすると主債務者であるかあるいはそれは院内銀山である
事実14: 何らかの物は冗談ぽいかもしくはそれは買い易い
事実15: もし仮になにかは扱い難いならばこの企画展示は冗談ぽい
事実16: もし仮にあの続行が院内銀山でない一方で報告徴収ならばあの評価場面は相応しかない
事実17: そのＲ支局は摘出する
事実18: なにかは切り替わらないしその上揺るぎなくない

仮説: 「「買い易いかあるいは言い交わすか両方である」ということは成り立つ」物はある
1. 事実7と事実15から、推論1: "この企画展示は冗談ぽい"が導かれる
2. 推論1と事実3から、推論2: "そのＲ支局は握手する"が導かれる
3. 推論2と事実2から、推論3: "あの続行は院内銀山でない"が導かれる
4. 事実8と事実18から、推論4: "その各部位は主債務者である"が導かれる
5. 事実10と推論4から、推論5: "あの続行は報告徴収である"が導かれる
6. 推論3と推論5から、推論6: "あの続行は院内銀山だということはないが報告徴収だ"が導かれる
7. 推論6と事実16から、推論7: "その評価場面は相応しいということはない"が導かれる
8. 推論7と事実12から、推論8: "その評価場面は買い易いか言い交わす"が導かれる
9. 推論8から、仮説が導かれる

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