何らかのものは軽ししその上差し上候う
fact1: もし仮に「この通信費補助は打数である」ということは真実ならあの兎さんは差し上候う fact2: 軽しない物は打数であるかまたは差し上候うかまたはどちらもだ fact3: この精神病は月輪でない fact4: この通信費補助は掛け難い fact5: もしもとあるものは就学するけれど区切らないとすると軽し fact6: もしもなんらかの物が学校場面であるかまたは二年未満でないならばこの親族会は低めるということはない fact7: 仮に「何かは低めるということはない」ということは真実だとするとそれが区切らないしさらにクック亭だ fact8: 月輪は打数である fact9: この通信費補助は噛み切る fact10: 仮になにかは機械論だけど御安いということはないなら発揮し易い fact11: あの薬剤服用は就学する fact12: 「軽し」ものはある fact13: この通信費補助は月輪であるしその上噛み切る fact14: なにかは学校場面であるかまたはそれは二年未満でないかあるいは両方ともである fact15: 「差し上候う」ものはある fact16: あの兎さんは就学する fact17: 「あの兎さんは想像し易い」ということは事実である fact18: もし仮にあの兎さんが就学しないしそれに噛み切らないとすればこの通信費補助は就学する fact19: もしその株券が御労しいならばそれは九時半だ fact20: あの兎さんは区切らない fact21: 仮に何かは区切らないがクック亭であるとしたらそれは軽しない fact22: あの粗面小胞体は区切らない fact23: もしとあるものは軽しけれど噛み切るということはないとしたらそれは就学する
fact13 -> int1: この通信費補助は月輪だ; fact8 -> int2: 仮にこの通信費補助は月輪であるならば打数である; int1 & int2 -> int3: この通信費補助は打数である; int3 & fact1 -> int4: あの兎さんは差し上候う; fact5 -> int5: もし仮にあの兎さんが就学する一方で区切らないなら軽し; fact20 & fact16 -> int6: あの兎さんは就学する一方で区切らない; int5 & int6 -> int7: あの兎さんは軽し; int4 & int7 -> int8: あの兎さんは軽ししかつそれは差し上候う; int8 -> hypothesis;
この通信費補助は就学する
fact29 -> int9: もしもこの親族会が軽しないとするとそれは打数であるか差し上候う; fact27 -> int10: もしもこの親族会は区切るということはないけどクック亭であるとしたらそれは軽しない; fact26 -> int11: もしこの親族会は低めるということはないならば「それは区切らないけれどクック亭である」ということは真実である; fact28 & fact25 -> int12: 「この親族会は低めない」ということは成り立つ; int11 & int12 -> int13: この親族会は区切らないがしかしそれはクック亭だ; int10 & int13 -> int14: この親族会は軽しということはない; int9 & int14 -> int15: この親族会は打数であるかまたはそれは差し上候うかもしくはどちらもだ;
$facts$ = fact1: もし仮に「この通信費補助は打数である」ということは真実ならあの兎さんは差し上候う fact2: 軽しない物は打数であるかまたは差し上候うかまたはどちらもだ fact3: この精神病は月輪でない fact4: この通信費補助は掛け難い fact5: もしもとあるものは就学するけれど区切らないとすると軽し fact6: もしもなんらかの物が学校場面であるかまたは二年未満でないならばこの親族会は低めるということはない fact7: 仮に「何かは低めるということはない」ということは真実だとするとそれが区切らないしさらにクック亭だ fact8: 月輪は打数である fact9: この通信費補助は噛み切る fact10: 仮になにかは機械論だけど御安いということはないなら発揮し易い fact11: あの薬剤服用は就学する fact12: 「軽し」ものはある fact13: この通信費補助は月輪であるしその上噛み切る fact14: なにかは学校場面であるかまたはそれは二年未満でないかあるいは両方ともである fact15: 「差し上候う」ものはある fact16: あの兎さんは就学する fact17: 「あの兎さんは想像し易い」ということは事実である fact18: もし仮にあの兎さんが就学しないしそれに噛み切らないとすればこの通信費補助は就学する fact19: もしその株券が御労しいならばそれは九時半だ fact20: あの兎さんは区切らない fact21: 仮に何かは区切らないがクック亭であるとしたらそれは軽しない fact22: あの粗面小胞体は区切らない fact23: もしとあるものは軽しけれど噛み切るということはないとしたらそれは就学する ; $hypothesis$ = 何らかのものは軽ししその上差し上候う ; $proof$ = 
fact13 -> int1: この通信費補助は月輪だ; fact8 -> int2: 仮にこの通信費補助は月輪であるならば打数である; int1 & int2 -> int3: この通信費補助は打数である; int3 & fact1 -> int4: あの兎さんは差し上候う; fact5 -> int5: もし仮にあの兎さんが就学する一方で区切らないなら軽し; fact20 & fact16 -> int6: あの兎さんは就学する一方で区切らない; int5 & int6 -> int7: あの兎さんは軽し; int4 & int7 -> int8: あの兎さんは軽ししかつそれは差し上候う; int8 -> hypothesis; __PROVED__
事実1: もし仮に「この通信費補助は打数である」ということは真実ならあの兎さんは差し上候う
事実2: 軽しない物は打数であるかまたは差し上候うかまたはどちらもだ
事実3: この精神病は月輪でない
事実4: この通信費補助は掛け難い
事実5: もしもとあるものは就学するけれど区切らないとすると軽し
事実6: もしもなんらかの物が学校場面であるかまたは二年未満でないならばこの親族会は低めるということはない
事実7: 仮に「何かは低めるということはない」ということは真実だとするとそれが区切らないしさらにクック亭だ
事実8: 月輪は打数である
事実9: この通信費補助は噛み切る
事実10: 仮になにかは機械論だけど御安いということはないなら発揮し易い
事実11: あの薬剤服用は就学する
事実12: 「軽し」ものはある
事実13: この通信費補助は月輪であるしその上噛み切る
事実14: なにかは学校場面であるかまたはそれは二年未満でないかあるいは両方ともである
事実15: 「差し上候う」ものはある
事実16: あの兎さんは就学する
事実17: 「あの兎さんは想像し易い」ということは事実である
事実18: もし仮にあの兎さんが就学しないしそれに噛み切らないとすればこの通信費補助は就学する
事実19: もしその株券が御労しいならばそれは九時半だ
事実20: あの兎さんは区切らない
事実21: 仮に何かは区切らないがクック亭であるとしたらそれは軽しない
事実22: あの粗面小胞体は区切らない
事実23: もしとあるものは軽しけれど噛み切るということはないとしたらそれは就学する

仮説: 何らかのものは軽ししその上差し上候う
1. 事実13から、推論1: "この通信費補助は月輪だ"が導かれる
2. 事実8から、推論2: "仮にこの通信費補助は月輪であるならば打数である"が導かれる
3. 推論1と推論2から、推論3: "この通信費補助は打数である"が導かれる
4. 推論3と事実1から、推論4: "あの兎さんは差し上候う"が導かれる
5. 事実5から、推論5: "もし仮にあの兎さんが就学する一方で区切らないなら軽し"が導かれる
6. 事実20と事実16から、推論6: "あの兎さんは就学する一方で区切らない"が導かれる
7. 推論5と推論6から、推論7: "あの兎さんは軽し"が導かれる
8. 推論4と推論7から、推論8: "あの兎さんは軽ししかつそれは差し上候う"が導かれる
9. 推論8から、仮説が導かれる

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