あの貧弱さは従業である
fact1: もしも「あの貧弱さは判別し易くないしまた従業でない」ということは成り立つということはないとするとその学識は粒子線である fact2: もし仮にその学識が誘い込むならあの貧弱さは粒子線だ fact3: もし「その学識は判別し易くないし誘い込まない」ということは成り立つということはないとしたら「あの貧弱さは粒子線だ」ということは事実だ fact4: その学識は操作し易い fact5: 「その学識は判別し易いということはないがしかし誘い込む」ということは嘘だ fact6: もしある物が母親学級でないしかつ落札出来ないならばそれは物語らない fact7: あの相互協力は誘い込む fact8: 「そのホームヘルプサービスは粒子線だ」ということは正しい fact9: もしあの見本工事商法が街らしくないとするとその学識は母親学級でないしそれは落札出来ない fact10: もしもその学識が物語らないならあの貧弱さは粒子線でないしかつ当該外国でない fact11: 「その学識は判別し易いということはなくて誘い込まない」ということは成り立たない fact12: もし仮になにかは粒子線であるとしたら誘い込む fact13: もし仮に何らかの物が根治するとしたら症例群だ fact14: もしも何らかの物は粒子線であるならば従業だ fact15: もし仮になにかは誘い込めばそれは判別し易い fact16: もしも「あの阿諛は判別し易い」ということは正しいとしたらそれは探検する fact17: もし仮にあるものは粒子線でなくてかつ当該外国だということはないならば従業でない fact18: もし仮に「あの貧弱さは粒子線であるということはなくて更にそれは判別し易くない」ということは間違いならば「その学識は誘い込む」ということは誤りでない
fact3 & fact11 -> int1: あの貧弱さは粒子線だ; fact14 -> int2: もしあの貧弱さは粒子線であるとしたらそれは従業だ; int1 & int2 -> hypothesis;
あの貧弱さは従業でない
fact19 -> int3: 仮にあの貧弱さは粒子線でなくてしかも当該外国でないならば「それは従業でない」ということは成り立つ; fact22 -> int4: もし仮にその学識は母親学級でないしそれに落札出来ないとすればそれは物語らない;
$facts$ = fact1: もしも「あの貧弱さは判別し易くないしまた従業でない」ということは成り立つということはないとするとその学識は粒子線である fact2: もし仮にその学識が誘い込むならあの貧弱さは粒子線だ fact3: もし「その学識は判別し易くないし誘い込まない」ということは成り立つということはないとしたら「あの貧弱さは粒子線だ」ということは事実だ fact4: その学識は操作し易い fact5: 「その学識は判別し易いということはないがしかし誘い込む」ということは嘘だ fact6: もしある物が母親学級でないしかつ落札出来ないならばそれは物語らない fact7: あの相互協力は誘い込む fact8: 「そのホームヘルプサービスは粒子線だ」ということは正しい fact9: もしあの見本工事商法が街らしくないとするとその学識は母親学級でないしそれは落札出来ない fact10: もしもその学識が物語らないならあの貧弱さは粒子線でないしかつ当該外国でない fact11: 「その学識は判別し易いということはなくて誘い込まない」ということは成り立たない fact12: もし仮になにかは粒子線であるとしたら誘い込む fact13: もし仮に何らかの物が根治するとしたら症例群だ fact14: もしも何らかの物は粒子線であるならば従業だ fact15: もし仮になにかは誘い込めばそれは判別し易い fact16: もしも「あの阿諛は判別し易い」ということは正しいとしたらそれは探検する fact17: もし仮にあるものは粒子線でなくてかつ当該外国だということはないならば従業でない fact18: もし仮に「あの貧弱さは粒子線であるということはなくて更にそれは判別し易くない」ということは間違いならば「その学識は誘い込む」ということは誤りでない ; $hypothesis$ = あの貧弱さは従業である ; $proof$ = 
fact3 & fact11 -> int1: あの貧弱さは粒子線だ; fact14 -> int2: もしあの貧弱さは粒子線であるとしたらそれは従業だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「あの貧弱さは判別し易くないしまた従業でない」ということは成り立つということはないとするとその学識は粒子線である
事実2: もし仮にその学識が誘い込むならあの貧弱さは粒子線だ
事実3: もし「その学識は判別し易くないし誘い込まない」ということは成り立つということはないとしたら「あの貧弱さは粒子線だ」ということは事実だ
事実4: その学識は操作し易い
事実5: 「その学識は判別し易いということはないがしかし誘い込む」ということは嘘だ
事実6: もしある物が母親学級でないしかつ落札出来ないならばそれは物語らない
事実7: あの相互協力は誘い込む
事実8: 「そのホームヘルプサービスは粒子線だ」ということは正しい
事実9: もしあの見本工事商法が街らしくないとするとその学識は母親学級でないしそれは落札出来ない
事実10: もしもその学識が物語らないならあの貧弱さは粒子線でないしかつ当該外国でない
事実11: 「その学識は判別し易いということはなくて誘い込まない」ということは成り立たない
事実12: もし仮になにかは粒子線であるとしたら誘い込む
事実13: もし仮に何らかの物が根治するとしたら症例群だ
事実14: もしも何らかの物は粒子線であるならば従業だ
事実15: もし仮になにかは誘い込めばそれは判別し易い
事実16: もしも「あの阿諛は判別し易い」ということは正しいとしたらそれは探検する
事実17: もし仮にあるものは粒子線でなくてかつ当該外国だということはないならば従業でない
事実18: もし仮に「あの貧弱さは粒子線であるということはなくて更にそれは判別し易くない」ということは間違いならば「その学識は誘い込む」ということは誤りでない

仮説: あの貧弱さは従業である
1. 事実3と事実11から、推論1: "あの貧弱さは粒子線だ"が導かれる
2. 事実14から、推論2: "もしあの貧弱さは粒子線であるとしたらそれは従業だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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