その教会関係は教育する
fact1: その教会関係はライチーだしさらに読み易い fact2: 「もしなんらかのものはライチーならば「倍増する」ということは成り立つ」ということは本当だ fact3: なにがしかのものが読み易いなら教育する fact4: 仮に「何かは鬱屈するということはない」ということは成り立てば「それはライチーでないがしかし読み易い」ということは成り立つということはない fact5: もし「あの現物支給は商品購入先業態である」ということは事実であるとしたらその教会関係は鬱屈しない fact6: この蒙心は着装する fact7: もしなんらかの物が教育するとするとそれは読み易い fact8: もし仮に何かは着装するとすればそれは教育する
fact1 -> int1: その教会関係は読み易い; fact3 -> int2: その教会関係が読み易いとしたらそれは教育する; int1 & int2 -> hypothesis;
fact1 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
この蒙心は読み易くて倍増する
fact12 -> int3: 仮にこの蒙心は教育するなら「それは読み易い」ということは本当である; fact11 -> int4: もし仮にこの蒙心は着装するなら「それは教育する」ということは確かである; int4 & fact10 -> int5: この蒙心は教育する; int3 & int5 -> int6: この蒙心は読み易い; fact9 -> int7: もしもこの蒙心はライチーならば「それは倍増する」ということは真実だ;
$facts$ = fact1: その教会関係はライチーだしさらに読み易い fact2: 「もしなんらかのものはライチーならば「倍増する」ということは成り立つ」ということは本当だ fact3: なにがしかのものが読み易いなら教育する fact4: 仮に「何かは鬱屈するということはない」ということは成り立てば「それはライチーでないがしかし読み易い」ということは成り立つということはない fact5: もし「あの現物支給は商品購入先業態である」ということは事実であるとしたらその教会関係は鬱屈しない fact6: この蒙心は着装する fact7: もしなんらかの物が教育するとするとそれは読み易い fact8: もし仮に何かは着装するとすればそれは教育する ; $hypothesis$ = その教会関係は教育する ; $proof$ = 
fact1 -> int1: その教会関係は読み易い; fact3 -> int2: その教会関係が読み易いとしたらそれは教育する; int1 & int2 -> hypothesis; __PROVED__
事実1: その教会関係はライチーだしさらに読み易い
事実2: 「もしなんらかのものはライチーならば「倍増する」ということは成り立つ」ということは本当だ
事実3: なにがしかのものが読み易いなら教育する
事実4: 仮に「何かは鬱屈するということはない」ということは成り立てば「それはライチーでないがしかし読み易い」ということは成り立つということはない
事実5: もし「あの現物支給は商品購入先業態である」ということは事実であるとしたらその教会関係は鬱屈しない
事実6: この蒙心は着装する
事実7: もしなんらかの物が教育するとするとそれは読み易い
事実8: もし仮に何かは着装するとすればそれは教育する

仮説: その教会関係は教育する
1. 事実1から、推論1: "その教会関係は読み易い"が導かれる
2. 事実3から、推論2: "その教会関係が読み易いとしたらそれは教育する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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