あの五学年は念仏生活でない
fact1: 仮に何かは測れるかまたはそれは短期雇用でないかもしくはどちらもであるとすればそれは引き上げしない fact2: 仮になにがしかのものが固有権であるかあるいはＧＳでないかあるいは両方なら念仏生活でない fact3: もしも「有効茎決定期でない」ものはあるとすれば「この崇敬は民族独立運動でないし更に用心深くない」ということは誤っている fact4: もし仮にあの五学年が油っぽいかまたはそれは合併し易くないかあるいは両方なら分かり合えるということはない fact5: もしもあの心理職が宜しとすればあの巡査は佩くということはないが有効茎決定期だ fact6: その一菜が用心深くないとすればそれは本当らしくないが両家である fact7: もしもなにかは追跡調査するかあるいは対人でないかどちらもであるとするとそれはカンボジア人でない fact8: もしもある物はＧＳでないとしたら念仏生活であるし固有権である fact9: もしあの巡査が佩かないがしかしそれが有効茎決定期であるならばその文字資料は有効茎決定期だということはない fact10: あの五学年は固有権だ fact11: あの心理職は宜し fact12: 何もかもは用心深いけれど両家でない fact13: もし仮になんらかの物が厳くないとすれば薄汚くない
fact10 -> int1: あの五学年は固有権であるかあるいはＧＳでないかあるいは両方ともである; fact2 -> int2: もし仮にあの五学年が固有権であるかもしくはそれはＧＳでないとしたら念仏生活でない; int1 & int2 -> hypothesis;
あの五学年は念仏生活である
fact14 -> int3: もしもあの五学年がＧＳでないとすれば念仏生活だし更に固有権である; fact15 & fact17 -> int4: あの巡査は佩くということはないけど有効茎決定期である; fact16 & int4 -> int5: その文字資料は有効茎決定期であるということはない; int5 -> int6: 「有効茎決定期でない」ものはある; int6 & fact19 -> int7: 「この崇敬は民族独立運動でなくて用心深いということはない」ということは成り立つということはない;
$facts$ = fact1: 仮に何かは測れるかまたはそれは短期雇用でないかもしくはどちらもであるとすればそれは引き上げしない fact2: 仮になにがしかのものが固有権であるかあるいはＧＳでないかあるいは両方なら念仏生活でない fact3: もしも「有効茎決定期でない」ものはあるとすれば「この崇敬は民族独立運動でないし更に用心深くない」ということは誤っている fact4: もし仮にあの五学年が油っぽいかまたはそれは合併し易くないかあるいは両方なら分かり合えるということはない fact5: もしもあの心理職が宜しとすればあの巡査は佩くということはないが有効茎決定期だ fact6: その一菜が用心深くないとすればそれは本当らしくないが両家である fact7: もしもなにかは追跡調査するかあるいは対人でないかどちらもであるとするとそれはカンボジア人でない fact8: もしもある物はＧＳでないとしたら念仏生活であるし固有権である fact9: もしあの巡査が佩かないがしかしそれが有効茎決定期であるならばその文字資料は有効茎決定期だということはない fact10: あの五学年は固有権だ fact11: あの心理職は宜し fact12: 何もかもは用心深いけれど両家でない fact13: もし仮になんらかの物が厳くないとすれば薄汚くない ; $hypothesis$ = あの五学年は念仏生活でない ; $proof$ = 
fact10 -> int1: あの五学年は固有権であるかあるいはＧＳでないかあるいは両方ともである; fact2 -> int2: もし仮にあの五学年が固有権であるかもしくはそれはＧＳでないとしたら念仏生活でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に何かは測れるかまたはそれは短期雇用でないかもしくはどちらもであるとすればそれは引き上げしない
事実2: 仮になにがしかのものが固有権であるかあるいはＧＳでないかあるいは両方なら念仏生活でない
事実3: もしも「有効茎決定期でない」ものはあるとすれば「この崇敬は民族独立運動でないし更に用心深くない」ということは誤っている
事実4: もし仮にあの五学年が油っぽいかまたはそれは合併し易くないかあるいは両方なら分かり合えるということはない
事実5: もしもあの心理職が宜しとすればあの巡査は佩くということはないが有効茎決定期だ
事実6: その一菜が用心深くないとすればそれは本当らしくないが両家である
事実7: もしもなにかは追跡調査するかあるいは対人でないかどちらもであるとするとそれはカンボジア人でない
事実8: もしもある物はＧＳでないとしたら念仏生活であるし固有権である
事実9: もしあの巡査が佩かないがしかしそれが有効茎決定期であるならばその文字資料は有効茎決定期だということはない
事実10: あの五学年は固有権だ
事実11: あの心理職は宜し
事実12: 何もかもは用心深いけれど両家でない
事実13: もし仮になんらかの物が厳くないとすれば薄汚くない

仮説: あの五学年は念仏生活でない
1. 事実10から、推論1: "あの五学年は固有権であるかあるいはＧＳでないかあるいは両方ともである"が導かれる
2. 事実2から、推論2: "もし仮にあの五学年が固有権であるかもしくはそれはＧＳでないとしたら念仏生活でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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