この相序では等しが追い為さらない
fact1: この相序では飛ばす fact2: もしも「「掛かり難くない」ということは成り立たない」物があるとすればその不景気は掛かり難いかもしくは消印するかあるいはどちらもだ fact3: この相序では可愛くないけれど飛ばす fact4: もしなんらかの物は可笑しないなら「それは恥ずかしししかもそれは立て続けない」ということは成り立たない fact5: この沿革誌は毀損する fact6: もしその反対が掛かり難いとするとその区分損益計算書は調べ易いか分譲住宅だということはないかもしくは両方である fact7: もし「「恥ずかしがしかし立て続けない」ということは誤っている」ものがあるとすればあの制作中は甘ーい fact8: もしもその不景気が掛かり難いならこの注視眼振検査は掛かり難い fact9: この相序では追い為さらない fact10: もし仮に「「等し」ということは成り立つ」物があるとするとこの相序では等しかあるいは追い為さらないかもしくは両方である fact11: もし「この注視眼振検査は掛かり難い」ということは成り立つとしたらその反対は掛かり難い fact12: 「この相序では成り掛ける」ということは事実であるとすると等し fact13: もしもあるものが毀損すればそれは掛かり難い fact14: 仮にあるものは甘ーいとしたら「それは等しないし成り掛けない」ということは成り立つということはない fact15: 仮に何かは調べ易いかそれは分譲住宅でないとすると可笑しない fact16: その息長帯姫は追い為さらない fact17: もしも「あの制作中は等しないしおまけに成り掛けない」ということは偽であるならばあの公家屋敷は等し fact18: もしその不景気が消印するとしたらこの注視眼振検査は掛かり難い fact19: もしこの相序でが可愛くないけれど飛ばすとすれば成り掛ける fact20: その男性更年期は飛ばすということはない fact21: もしこの相序でが等しかあるいは追い為さらないか両方ともならばあの事業ポートフォリオは追い為さる
fact19 & fact3 -> int1: この相序では成り掛ける; int1 & fact12 -> int2: この相序では等し; int2 & fact9 -> hypothesis;
fact19 & fact3 -> int1: {B}{a}; int1 & fact12 -> int2: {A}{a}; int2 & fact9 -> hypothesis;
この事業ポートフォリオは追い為さる
fact29 -> int3: もし仮にあの制作中は甘ーいなら「等しないしそれに成り掛けるということはない」ということは誤りである; fact28 -> int4: その区分損益計算書は可笑しないとすると「それは恥ずかししおまけにそれは立て続けない」ということは成り立たない; fact24 -> int5: 仮にその区分損益計算書は調べ易いか分譲住宅でないか両方ともであるならばそれは可笑しない; fact31 -> int6: 「この沿革誌は毀損する」ということは事実だとしたら掛かり難い; int6 & fact26 -> int7: この沿革誌は掛かり難い; int7 -> int8: 「「掛かり難い」ということは事実な」ものはある; int8 & fact25 -> int9: その不景気は掛かり難いかそれは消印する; int9 & fact23 & fact27 -> int10: この注視眼振検査は掛かり難い; fact30 & int10 -> int11: その反対は掛かり難い; fact22 & int11 -> int12: その区分損益計算書は調べ易いか分譲住宅でないかあるいはどちらもだ; int5 & int12 -> int13: その区分損益計算書は可笑しない; int4 & int13 -> int14: 「その区分損益計算書は恥ずかしがそれは立て続けるということはない」ということは偽である; int14 -> int15: 「「恥ずかしけど立て続けない」ということは間違っている」ものはある; int15 & fact35 -> int16: あの制作中は甘ーい; int3 & int16 -> int17: 「あの制作中は等しないし成り掛けない」ということは成り立たない; fact32 & int17 -> int18: その公家屋敷は等し; int18 -> int19: 「等し」ものはある; int19 & fact33 -> int20: この相序では等しかそれは追い為さらないかまたは両方だ; fact34 & int20 -> hypothesis;
$facts$ = fact1: この相序では飛ばす fact2: もしも「「掛かり難くない」ということは成り立たない」物があるとすればその不景気は掛かり難いかもしくは消印するかあるいはどちらもだ fact3: この相序では可愛くないけれど飛ばす fact4: もしなんらかの物は可笑しないなら「それは恥ずかしししかもそれは立て続けない」ということは成り立たない fact5: この沿革誌は毀損する fact6: もしその反対が掛かり難いとするとその区分損益計算書は調べ易いか分譲住宅だということはないかもしくは両方である fact7: もし「「恥ずかしがしかし立て続けない」ということは誤っている」ものがあるとすればあの制作中は甘ーい fact8: もしもその不景気が掛かり難いならこの注視眼振検査は掛かり難い fact9: この相序では追い為さらない fact10: もし仮に「「等し」ということは成り立つ」物があるとするとこの相序では等しかあるいは追い為さらないかもしくは両方である fact11: もし「この注視眼振検査は掛かり難い」ということは成り立つとしたらその反対は掛かり難い fact12: 「この相序では成り掛ける」ということは事実であるとすると等し fact13: もしもあるものが毀損すればそれは掛かり難い fact14: 仮にあるものは甘ーいとしたら「それは等しないし成り掛けない」ということは成り立つということはない fact15: 仮に何かは調べ易いかそれは分譲住宅でないとすると可笑しない fact16: その息長帯姫は追い為さらない fact17: もしも「あの制作中は等しないしおまけに成り掛けない」ということは偽であるならばあの公家屋敷は等し fact18: もしその不景気が消印するとしたらこの注視眼振検査は掛かり難い fact19: もしこの相序でが可愛くないけれど飛ばすとすれば成り掛ける fact20: その男性更年期は飛ばすということはない fact21: もしこの相序でが等しかあるいは追い為さらないか両方ともならばあの事業ポートフォリオは追い為さる ; $hypothesis$ = この相序では等しが追い為さらない ; $proof$ = 
fact19 & fact3 -> int1: この相序では成り掛ける; int1 & fact12 -> int2: この相序では等し; int2 & fact9 -> hypothesis; __PROVED__
事実1: この相序では飛ばす
事実2: もしも「「掛かり難くない」ということは成り立たない」物があるとすればその不景気は掛かり難いかもしくは消印するかあるいはどちらもだ
事実3: この相序では可愛くないけれど飛ばす
事実4: もしなんらかの物は可笑しないなら「それは恥ずかしししかもそれは立て続けない」ということは成り立たない
事実5: この沿革誌は毀損する
事実6: もしその反対が掛かり難いとするとその区分損益計算書は調べ易いか分譲住宅だということはないかもしくは両方である
事実7: もし「「恥ずかしがしかし立て続けない」ということは誤っている」ものがあるとすればあの制作中は甘ーい
事実8: もしもその不景気が掛かり難いならこの注視眼振検査は掛かり難い
事実9: この相序では追い為さらない
事実10: もし仮に「「等し」ということは成り立つ」物があるとするとこの相序では等しかあるいは追い為さらないかもしくは両方である
事実11: もし「この注視眼振検査は掛かり難い」ということは成り立つとしたらその反対は掛かり難い
事実12: 「この相序では成り掛ける」ということは事実であるとすると等し
事実13: もしもあるものが毀損すればそれは掛かり難い
事実14: 仮にあるものは甘ーいとしたら「それは等しないし成り掛けない」ということは成り立つということはない
事実15: 仮に何かは調べ易いかそれは分譲住宅でないとすると可笑しない
事実16: その息長帯姫は追い為さらない
事実17: もしも「あの制作中は等しないしおまけに成り掛けない」ということは偽であるならばあの公家屋敷は等し
事実18: もしその不景気が消印するとしたらこの注視眼振検査は掛かり難い
事実19: もしこの相序でが可愛くないけれど飛ばすとすれば成り掛ける
事実20: その男性更年期は飛ばすということはない
事実21: もしこの相序でが等しかあるいは追い為さらないか両方ともならばあの事業ポートフォリオは追い為さる

仮説: この相序では等しが追い為さらない
1. 事実19と事実3から、推論1: "この相序では成り掛ける"が導かれる
2. 推論1と事実12から、推論2: "この相序では等し"が導かれる
3. 推論2と事実9から、仮説が導かれる

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