この世界教育学撰集は外れないかあるいは通し入れるかもしくは両方ともである
fact1: あの日本愛友会は仰々しいしそれに捨て難い fact2: もしあの日本愛友会が来し易くて捨て難いならその改善策は通し入れない fact3: もしあの期待インフレ率がＣＰＩＭならばそのＲＢＴは注ぎ込める fact4: もし仮にそのＲＢＴは注ぎ込めるとすると「あの日本愛友会は来し易い」ということは成り立つ fact5: 「なにかは通し入れなくて注ぎ込めるということはない」ということは事実と異なるとすればそれは注ぎ込める fact6: 仮に「このカミングは捨て難くない」ということは確かならば「それは通し入れなくてしかも注ぎ込めるということはない」ということは成り立たない fact7: あの期待インフレ率はＣＰＩＭだ fact8: このカミングは捨て難くない fact9: もし仮にその改善策が通し入れないとすればこの世界教育学撰集は外れるということはないか通し入れるかもしくは両方である fact10: 仮にこの世界教育学撰集が通し入れないとするとその改善策は捨て難くないかもしくは通し入れるかあるいは両方である
fact3 & fact7 -> int1: そのＲＢＴは注ぎ込める; int1 & fact4 -> int2: あの日本愛友会は来し易い; fact1 -> int3: あの日本愛友会は捨て難い; int2 & int3 -> int4: あの日本愛友会は来し易くてまた捨て難い; int4 & fact2 -> int5: その改善策は通し入れるということはない; int5 & fact9 -> hypothesis;
このカミングは注ぎ込めるし筬である
fact12 -> int6: 「このカミングは通し入れないし注ぎ込めない」ということは誤っていればそれは注ぎ込める; fact13 & fact11 -> int7: 「このカミングは通し入れないし加えて注ぎ込めない」ということは成り立たない; int6 & int7 -> int8: このカミングは注ぎ込める;
$facts$ = fact1: あの日本愛友会は仰々しいしそれに捨て難い fact2: もしあの日本愛友会が来し易くて捨て難いならその改善策は通し入れない fact3: もしあの期待インフレ率がＣＰＩＭならばそのＲＢＴは注ぎ込める fact4: もし仮にそのＲＢＴは注ぎ込めるとすると「あの日本愛友会は来し易い」ということは成り立つ fact5: 「なにかは通し入れなくて注ぎ込めるということはない」ということは事実と異なるとすればそれは注ぎ込める fact6: 仮に「このカミングは捨て難くない」ということは確かならば「それは通し入れなくてしかも注ぎ込めるということはない」ということは成り立たない fact7: あの期待インフレ率はＣＰＩＭだ fact8: このカミングは捨て難くない fact9: もし仮にその改善策が通し入れないとすればこの世界教育学撰集は外れるということはないか通し入れるかもしくは両方である fact10: 仮にこの世界教育学撰集が通し入れないとするとその改善策は捨て難くないかもしくは通し入れるかあるいは両方である ; $hypothesis$ = この世界教育学撰集は外れないかあるいは通し入れるかもしくは両方ともである ; $proof$ = 
fact3 & fact7 -> int1: そのＲＢＴは注ぎ込める; int1 & fact4 -> int2: あの日本愛友会は来し易い; fact1 -> int3: あの日本愛友会は捨て難い; int2 & int3 -> int4: あの日本愛友会は来し易くてまた捨て難い; int4 & fact2 -> int5: その改善策は通し入れるということはない; int5 & fact9 -> hypothesis; __PROVED__
事実1: あの日本愛友会は仰々しいしそれに捨て難い
事実2: もしあの日本愛友会が来し易くて捨て難いならその改善策は通し入れない
事実3: もしあの期待インフレ率がＣＰＩＭならばそのＲＢＴは注ぎ込める
事実4: もし仮にそのＲＢＴは注ぎ込めるとすると「あの日本愛友会は来し易い」ということは成り立つ
事実5: 「なにかは通し入れなくて注ぎ込めるということはない」ということは事実と異なるとすればそれは注ぎ込める
事実6: 仮に「このカミングは捨て難くない」ということは確かならば「それは通し入れなくてしかも注ぎ込めるということはない」ということは成り立たない
事実7: あの期待インフレ率はＣＰＩＭだ
事実8: このカミングは捨て難くない
事実9: もし仮にその改善策が通し入れないとすればこの世界教育学撰集は外れるということはないか通し入れるかもしくは両方である
事実10: 仮にこの世界教育学撰集が通し入れないとするとその改善策は捨て難くないかもしくは通し入れるかあるいは両方である

仮説: この世界教育学撰集は外れないかあるいは通し入れるかもしくは両方ともである
1. 事実3と事実7から、推論1: "そのＲＢＴは注ぎ込める"が導かれる
2. 推論1と事実4から、推論2: "あの日本愛友会は来し易い"が導かれる
3. 事実1から、推論3: "あの日本愛友会は捨て難い"が導かれる
4. 推論2と推論3から、推論4: "あの日本愛友会は来し易くてまた捨て難い"が導かれる
5. 推論4と事実2から、推論5: "その改善策は通し入れるということはない"が導かれる
6. 推論5と事実9から、仮説が導かれる

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