この立教大は倦む
fact1: その借地上は仕舞い易くないとすれば「この立教大は小型哺乳類でなくてしかも通訳人でない」ということは成り立たない fact2: その借地上は仕舞い易くない fact3: 仮にその借地上は仕舞い易いということはないとすれば「この立教大は小型哺乳類でないがしかし通訳人だ」ということは間違っている fact4: 仮になにがしかの物は葬送儀礼であるならそれは軽々しい fact5: 仮になにかは無視出来るとするとそれは仕舞い易くないけど御知りに成る fact6: もしも「「とある物は小型哺乳類でないし更に通訳人でない」ということは事実と異ならない」ということは誤りであるなら「それは御知りに成る」ということは偽でない fact7: もし仮にとある物が住み良いとすれば無視出来る fact8: あの御子孫は焼き難い fact9: 仮に「あの御子孫は焼き難い」ということは本当ならこの職業労働一般は焼き難いということはない fact10: 「この立教大は仕舞い易くないし加えて御知りに成らない」ということは事実でない fact11: この職業労働一般はユダヤ教でない fact12: この立教大が住み良いとすればその借地上は倦むかまたは無視出来ない fact13: もしも「その借地上は夢想する」ということは本当であるならばそれは倦む fact14: もしも何らかの物が御知りに成るならそれは無視出来る fact15: 「あのマンガン青銅は中型機でないけれど小型哺乳類である」ということは誤りだ fact16: あの臨検は仕舞い易い fact17: もしもなにかは無視出来るとしたら倦む fact18: もしその借地上は仕舞い易いとすれば「この蛮勇は両名でないし加えてそれは御知りに成らない」ということは成り立たない fact19: もし仮になにかは話し難いならば周知徹底である fact20: 「その借地上は危うしないが小型哺乳類だ」ということは事実と異なる
fact1 & fact2 -> int1: 「この立教大は小型哺乳類でなくて通訳人でない」ということは成り立つということはない; fact6 -> int2: もし仮に「この立教大は小型哺乳類だということはなくてそれは通訳人でない」ということは間違いだとすると御知りに成る; int1 & int2 -> int3: この立教大は御知りに成る; fact14 -> int4: 仮にこの立教大が御知りに成るとすると無視出来る; int3 & int4 -> int5: この立教大は無視出来る; fact17 -> int6: 「この立教大は無視出来る」ということは偽だということはないなら倦む; int5 & int6 -> hypothesis;
この立教大は倦まない
fact25 -> int7: その借地上は無視出来れば「それは仕舞い易くないがしかし御知りに成る」ということは成り立つ; fact21 -> int8: 「もしその借地上が住み良いとするとその借地上は無視出来る」ということは事実だ; fact22 & fact23 -> int9: この職業労働一般は焼き難くない; fact24 & int9 -> int10: この職業労働一般はユダヤ教でなくて焼き難くない; int10 -> int11: 「ユダヤ教でなくて焼き難くない」物はある;
$facts$ = fact1: その借地上は仕舞い易くないとすれば「この立教大は小型哺乳類でなくてしかも通訳人でない」ということは成り立たない fact2: その借地上は仕舞い易くない fact3: 仮にその借地上は仕舞い易いということはないとすれば「この立教大は小型哺乳類でないがしかし通訳人だ」ということは間違っている fact4: 仮になにがしかの物は葬送儀礼であるならそれは軽々しい fact5: 仮になにかは無視出来るとするとそれは仕舞い易くないけど御知りに成る fact6: もしも「「とある物は小型哺乳類でないし更に通訳人でない」ということは事実と異ならない」ということは誤りであるなら「それは御知りに成る」ということは偽でない fact7: もし仮にとある物が住み良いとすれば無視出来る fact8: あの御子孫は焼き難い fact9: 仮に「あの御子孫は焼き難い」ということは本当ならこの職業労働一般は焼き難いということはない fact10: 「この立教大は仕舞い易くないし加えて御知りに成らない」ということは事実でない fact11: この職業労働一般はユダヤ教でない fact12: この立教大が住み良いとすればその借地上は倦むかまたは無視出来ない fact13: もしも「その借地上は夢想する」ということは本当であるならばそれは倦む fact14: もしも何らかの物が御知りに成るならそれは無視出来る fact15: 「あのマンガン青銅は中型機でないけれど小型哺乳類である」ということは誤りだ fact16: あの臨検は仕舞い易い fact17: もしもなにかは無視出来るとしたら倦む fact18: もしその借地上は仕舞い易いとすれば「この蛮勇は両名でないし加えてそれは御知りに成らない」ということは成り立たない fact19: もし仮になにかは話し難いならば周知徹底である fact20: 「その借地上は危うしないが小型哺乳類だ」ということは事実と異なる ; $hypothesis$ = この立教大は倦む ; $proof$ = 
fact1 & fact2 -> int1: 「この立教大は小型哺乳類でなくて通訳人でない」ということは成り立つということはない; fact6 -> int2: もし仮に「この立教大は小型哺乳類だということはなくてそれは通訳人でない」ということは間違いだとすると御知りに成る; int1 & int2 -> int3: この立教大は御知りに成る; fact14 -> int4: 仮にこの立教大が御知りに成るとすると無視出来る; int3 & int4 -> int5: この立教大は無視出来る; fact17 -> int6: 「この立教大は無視出来る」ということは偽だということはないなら倦む; int5 & int6 -> hypothesis; __PROVED__
事実1: その借地上は仕舞い易くないとすれば「この立教大は小型哺乳類でなくてしかも通訳人でない」ということは成り立たない
事実2: その借地上は仕舞い易くない
事実3: 仮にその借地上は仕舞い易いということはないとすれば「この立教大は小型哺乳類でないがしかし通訳人だ」ということは間違っている
事実4: 仮になにがしかの物は葬送儀礼であるならそれは軽々しい
事実5: 仮になにかは無視出来るとするとそれは仕舞い易くないけど御知りに成る
事実6: もしも「「とある物は小型哺乳類でないし更に通訳人でない」ということは事実と異ならない」ということは誤りであるなら「それは御知りに成る」ということは偽でない
事実7: もし仮にとある物が住み良いとすれば無視出来る
事実8: あの御子孫は焼き難い
事実9: 仮に「あの御子孫は焼き難い」ということは本当ならこの職業労働一般は焼き難いということはない
事実10: 「この立教大は仕舞い易くないし加えて御知りに成らない」ということは事実でない
事実11: この職業労働一般はユダヤ教でない
事実12: この立教大が住み良いとすればその借地上は倦むかまたは無視出来ない
事実13: もしも「その借地上は夢想する」ということは本当であるならばそれは倦む
事実14: もしも何らかの物が御知りに成るならそれは無視出来る
事実15: 「あのマンガン青銅は中型機でないけれど小型哺乳類である」ということは誤りだ
事実16: あの臨検は仕舞い易い
事実17: もしもなにかは無視出来るとしたら倦む
事実18: もしその借地上は仕舞い易いとすれば「この蛮勇は両名でないし加えてそれは御知りに成らない」ということは成り立たない
事実19: もし仮になにかは話し難いならば周知徹底である
事実20: 「その借地上は危うしないが小型哺乳類だ」ということは事実と異なる

仮説: この立教大は倦む
1. 事実1と事実2から、推論1: "「この立教大は小型哺乳類でなくて通訳人でない」ということは成り立つということはない"が導かれる
2. 事実6から、推論2: "もし仮に「この立教大は小型哺乳類だということはなくてそれは通訳人でない」ということは間違いだとすると御知りに成る"が導かれる
3. 推論1と推論2から、推論3: "この立教大は御知りに成る"が導かれる
4. 事実14から、推論4: "仮にこの立教大が御知りに成るとすると無視出来る"が導かれる
5. 推論3と推論4から、推論5: "この立教大は無視出来る"が導かれる
6. 事実17から、推論6: "「この立教大は無視出来る」ということは偽だということはないなら倦む"が導かれる
7. 推論5と推論6から、仮説が導かれる

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