とある物は脱穀するし加えて住み難い
fact1: あるものが買い易いとしたらそれは論理パズルだ fact2: その被保険者は尺貫法である fact3: 「その被保険者は俯かない」ということは真実だ fact4: 「「脱穀する」ということは成り立つ」物はある fact5: もし「その責任追求は俯かないけれど寂しい」ということは事実と異なればそれは俯く fact6: その被保険者は俯かないが突き続ける fact7: なにがしかの物は住み難い fact8: 「その責任追求は俯かないけど寂しい」ということは間違っている fact9: その被保険者が俯かないがしかし突き続けるならそれは住み難い fact10: 「聖戦な」ものはある fact11: 仮にその被保険者は尺貫法であるとしたら「脱穀する」ということは成り立つ fact12: もしもその被保険者は立て易くてさらに快いとすればそれは弔う fact13: この鮫肌状は尺貫法だ fact14: もしもなんらかの物は俯くとすると「それは住み難くないし尺貫法であるということはない」ということは間違いだ fact15: もし仮にとある物が突き続けないとするとイスラム原理主義で脱穀する fact16: もしこの加工賃問題が溶出するしそれが住み難いとしたらそれは急減する fact17: その被保険者は俯くしそれに突き続けるとすると「住み難い」ということは成り立つ
fact11 & fact2 -> int1: 「その被保険者は脱穀する」ということは確かである; fact6 & fact9 -> int2: その被保険者は住み難い; int1 & int2 -> int3: 「その被保険者は脱穀するしそれは住み難い」ということは正しい; int3 -> hypothesis;
その責任追求は尺貫法だしかつイスラム原理主義である
fact20 -> int4: もし仮にその責任追求は俯くとすれば「それは住み難くないし尺貫法でない」ということは偽だ; fact18 & fact21 -> int5: その責任追求は俯く; int4 & int5 -> int6: 「その責任追求は住み難くないしかつそれは尺貫法でない」ということは誤りだ; fact19 -> int7: 仮にその責任追求が突き続けるということはないとしたらイスラム原理主義でまた脱穀する;
$facts$ = fact1: あるものが買い易いとしたらそれは論理パズルだ fact2: その被保険者は尺貫法である fact3: 「その被保険者は俯かない」ということは真実だ fact4: 「「脱穀する」ということは成り立つ」物はある fact5: もし「その責任追求は俯かないけれど寂しい」ということは事実と異なればそれは俯く fact6: その被保険者は俯かないが突き続ける fact7: なにがしかの物は住み難い fact8: 「その責任追求は俯かないけど寂しい」ということは間違っている fact9: その被保険者が俯かないがしかし突き続けるならそれは住み難い fact10: 「聖戦な」ものはある fact11: 仮にその被保険者は尺貫法であるとしたら「脱穀する」ということは成り立つ fact12: もしもその被保険者は立て易くてさらに快いとすればそれは弔う fact13: この鮫肌状は尺貫法だ fact14: もしもなんらかの物は俯くとすると「それは住み難くないし尺貫法であるということはない」ということは間違いだ fact15: もし仮にとある物が突き続けないとするとイスラム原理主義で脱穀する fact16: もしこの加工賃問題が溶出するしそれが住み難いとしたらそれは急減する fact17: その被保険者は俯くしそれに突き続けるとすると「住み難い」ということは成り立つ ; $hypothesis$ = とある物は脱穀するし加えて住み難い ; $proof$ = 
fact11 & fact2 -> int1: 「その被保険者は脱穀する」ということは確かである; fact6 & fact9 -> int2: その被保険者は住み難い; int1 & int2 -> int3: 「その被保険者は脱穀するしそれは住み難い」ということは正しい; int3 -> hypothesis; __PROVED__
事実1: あるものが買い易いとしたらそれは論理パズルだ
事実2: その被保険者は尺貫法である
事実3: 「その被保険者は俯かない」ということは真実だ
事実4: 「「脱穀する」ということは成り立つ」物はある
事実5: もし「その責任追求は俯かないけれど寂しい」ということは事実と異なればそれは俯く
事実6: その被保険者は俯かないが突き続ける
事実7: なにがしかの物は住み難い
事実8: 「その責任追求は俯かないけど寂しい」ということは間違っている
事実9: その被保険者が俯かないがしかし突き続けるならそれは住み難い
事実10: 「聖戦な」ものはある
事実11: 仮にその被保険者は尺貫法であるとしたら「脱穀する」ということは成り立つ
事実12: もしもその被保険者は立て易くてさらに快いとすればそれは弔う
事実13: この鮫肌状は尺貫法だ
事実14: もしもなんらかの物は俯くとすると「それは住み難くないし尺貫法であるということはない」ということは間違いだ
事実15: もし仮にとある物が突き続けないとするとイスラム原理主義で脱穀する
事実16: もしこの加工賃問題が溶出するしそれが住み難いとしたらそれは急減する
事実17: その被保険者は俯くしそれに突き続けるとすると「住み難い」ということは成り立つ

仮説: とある物は脱穀するし加えて住み難い
1. 事実11と事実2から、推論1: "「その被保険者は脱穀する」ということは確かである"が導かれる
2. 事実6と事実9から、推論2: "その被保険者は住み難い"が導かれる
3. 推論1と推論2から、推論3: "「その被保険者は脱穀するしそれは住み難い」ということは正しい"が導かれる
4. 推論3から、仮説が導かれる

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