この両国間は心細いかあるいはそれは崩落するかもしくは両方だ
fact1: もし仮にこの解釈過程が報酬条件でない一方で地位協定であるならこの両国間は一寸する fact2: とある物が投票者だということはないならば報酬条件でないしさらに地位協定である fact3: もしその阪急線大宮駅下車が郵便局であるとしたらその住地はコマーシャルでない fact4: もしこの両国間が体面であるとすればその住地は心細い fact5: 仮に「その住地はコマーシャルでない」ということは誤りでないとしたらこの両国間は秘するし働き難い fact6: もし仮にその住地が崩落すればこの両国間は秘する fact7: もし「その住地はデザイン事務所でないがしかし秘する」ということは成り立たないならばこの東京都下水道局は秘しない fact8: もし仮にとある物は体面でないとすれば「心細いかまたは崩落するかどちらもである」ということは確かでない fact9: 仮に「その住地は体面だ」ということは確かだとしたら秘する fact10: もしこの両国間が一寸するとすればデザイン事務所である fact11: もし仮に何らかのものは一寸するが働き難くないならそれは心細いということはない fact12: もしもこの両国間がコマーシャルだとするとその住地は一寸するがしかし働き難くない fact13: もし仮になにかは心細くないとすれば「「それはデザイン事務所でないししかも秘する」ということは正しい」ということは成り立たない fact14: あの特許侵害製品は秘する fact15: その住地は体面である fact16: この両国間は秘するかそれは崩落する fact17: この解釈過程は投票者でないが宜し fact18: 「仮にその住地が秘するとするとこの両国間は心細い」ということは嘘でない fact19: もしもデザイン事務所が秘するとしたらそれは体面でない
fact9 & fact15 -> int1: 「その住地は秘する」ということは成り立つ; int1 & fact18 -> int2: この両国間は心細い; int2 -> hypothesis;
fact9 & fact15 -> int1: {B}{a}; int1 & fact18 -> int2: {C}{b}; int2 -> hypothesis;
「「この両国間は心細いかあるいは崩落する」ということは嘘だ」ということは正しい
fact23 -> int3: もし仮にこの両国間は体面でないとすれば「それは心細いかあるいは崩落するかあるいはどちらもである」ということは成り立たない; fact27 -> int4: 「もしこの両国間がデザイン事務所であるしそれに秘するならこの両国間は体面であるということはない」ということは事実と異なるということはない; fact25 -> int5: この解釈過程が投票者でないならそれは報酬条件でなくて更にそれは地位協定である; fact26 -> int6: この解釈過程は投票者だということはない; int5 & int6 -> int7: この解釈過程は報酬条件でないがしかしそれは地位協定である; fact24 & int7 -> int8: 「この両国間は一寸しない」ということは成り立つということはない; fact21 & int8 -> int9: この両国間はデザイン事務所である;
$facts$ = fact1: もし仮にこの解釈過程が報酬条件でない一方で地位協定であるならこの両国間は一寸する fact2: とある物が投票者だということはないならば報酬条件でないしさらに地位協定である fact3: もしその阪急線大宮駅下車が郵便局であるとしたらその住地はコマーシャルでない fact4: もしこの両国間が体面であるとすればその住地は心細い fact5: 仮に「その住地はコマーシャルでない」ということは誤りでないとしたらこの両国間は秘するし働き難い fact6: もし仮にその住地が崩落すればこの両国間は秘する fact7: もし「その住地はデザイン事務所でないがしかし秘する」ということは成り立たないならばこの東京都下水道局は秘しない fact8: もし仮にとある物は体面でないとすれば「心細いかまたは崩落するかどちらもである」ということは確かでない fact9: 仮に「その住地は体面だ」ということは確かだとしたら秘する fact10: もしこの両国間が一寸するとすればデザイン事務所である fact11: もし仮に何らかのものは一寸するが働き難くないならそれは心細いということはない fact12: もしもこの両国間がコマーシャルだとするとその住地は一寸するがしかし働き難くない fact13: もし仮になにかは心細くないとすれば「「それはデザイン事務所でないししかも秘する」ということは正しい」ということは成り立たない fact14: あの特許侵害製品は秘する fact15: その住地は体面である fact16: この両国間は秘するかそれは崩落する fact17: この解釈過程は投票者でないが宜し fact18: 「仮にその住地が秘するとするとこの両国間は心細い」ということは嘘でない fact19: もしもデザイン事務所が秘するとしたらそれは体面でない ; $hypothesis$ = この両国間は心細いかあるいはそれは崩落するかもしくは両方だ ; $proof$ = 
fact9 & fact15 -> int1: 「その住地は秘する」ということは成り立つ; int1 & fact18 -> int2: この両国間は心細い; int2 -> hypothesis; __PROVED__
事実1: もし仮にこの解釈過程が報酬条件でない一方で地位協定であるならこの両国間は一寸する
事実2: とある物が投票者だということはないならば報酬条件でないしさらに地位協定である
事実3: もしその阪急線大宮駅下車が郵便局であるとしたらその住地はコマーシャルでない
事実4: もしこの両国間が体面であるとすればその住地は心細い
事実5: 仮に「その住地はコマーシャルでない」ということは誤りでないとしたらこの両国間は秘するし働き難い
事実6: もし仮にその住地が崩落すればこの両国間は秘する
事実7: もし「その住地はデザイン事務所でないがしかし秘する」ということは成り立たないならばこの東京都下水道局は秘しない
事実8: もし仮にとある物は体面でないとすれば「心細いかまたは崩落するかどちらもである」ということは確かでない
事実9: 仮に「その住地は体面だ」ということは確かだとしたら秘する
事実10: もしこの両国間が一寸するとすればデザイン事務所である
事実11: もし仮に何らかのものは一寸するが働き難くないならそれは心細いということはない
事実12: もしもこの両国間がコマーシャルだとするとその住地は一寸するがしかし働き難くない
事実13: もし仮になにかは心細くないとすれば「「それはデザイン事務所でないししかも秘する」ということは正しい」ということは成り立たない
事実14: あの特許侵害製品は秘する
事実15: その住地は体面である
事実16: この両国間は秘するかそれは崩落する
事実17: この解釈過程は投票者でないが宜し
事実18: 「仮にその住地が秘するとするとこの両国間は心細い」ということは嘘でない
事実19: もしもデザイン事務所が秘するとしたらそれは体面でない

仮説: この両国間は心細いかあるいはそれは崩落するかもしくは両方だ
1. 事実9と事実15から、推論1: "「その住地は秘する」ということは成り立つ"が導かれる
2. 推論1と事実18から、推論2: "この両国間は心細い"が導かれる
3. 推論2から、仮説が導かれる

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