その撥ね出しは嫁ぐし更に攻め倦む
fact1: 「雇用する」ものがあるならその撥ね出しは攻め倦む fact2: もし「この朝倉等は来難いということはないけれど雇用する」ということは成り立たないとしたら来難い fact3: その一市民は指名委員会である fact4: この朝倉等は攻め倦むかまたは来難い fact5: もしこの朝倉等が来難いとしたらあの仲裁裁定は来難い fact6: 「もしも「雇用するかあるいは攻め倦む」ものがあるとするとその撥ね出しは攻め倦む」ということは成り立つ fact7: もし「作業部会であるかあるいは来難いかあるいは両方である」ものがあるとするとその前輪駆動車は来難い fact8: 仮にこの朝倉等は組み入れないならば「その撥ね出しは嫁ぐしかつそれは攻め倦む」ということは成り立たない fact9: この朝倉等は雇用するかもしくは攻め倦むかあるいは両方だ fact10: 仮にその撥ね出しが捨て難いならばあの仲裁裁定は捨て難い fact11: もしもこの朝倉等は雇用するとしたら「組み入れる」ということは確かだ fact12: その撥ね出しは組み入れる fact13: 仮にその撥ね出しが来難いならば嫁ぐ fact14: 「あの吸収は涙脆いかもしくはそれは門付けするかまたは両方ともだ」ということは成り立たない fact15: もしなにがしかのものが嫁がないとしたらそれは捨て難いしおまけに組み入れる fact16: 仮に「攻め倦む」物はあれば「この朝倉等は来難くないが雇用する」ということは誤っている fact17: その撥ね出しは組み入れるしそれに来難い fact18: 「なにがしかのものは組み入れるしさらに嫁ぐ」ということは誤っているとすると嫁はない
fact17 -> int1: その撥ね出しは来難い; int1 & fact13 -> int2: その撥ね出しは嫁ぐ; fact9 -> int3: 「雇用するかまたは攻め倦む」物はある; fact6 & int3 -> int4: その撥ね出しは攻め倦む; int2 & int4 -> hypothesis;
fact17 -> int1: {B}{a}; int1 & fact13 -> int2: {C}{a}; fact9 -> int3: (Ex): ({E}x v {D}x); fact6 & int3 -> int4: {D}{a}; int2 & int4 -> hypothesis;
あの仲裁裁定は捨て難いし来難い
fact22 -> int5: もしその撥ね出しが嫁はないなら「捨て難いしまた組み入れる」ということは成り立つ; fact23 -> int6: 「「涙脆いか門付けするかあるいは両方ともである」ということは成り立たない」物はある;
$facts$ = fact1: 「雇用する」ものがあるならその撥ね出しは攻め倦む fact2: もし「この朝倉等は来難いということはないけれど雇用する」ということは成り立たないとしたら来難い fact3: その一市民は指名委員会である fact4: この朝倉等は攻め倦むかまたは来難い fact5: もしこの朝倉等が来難いとしたらあの仲裁裁定は来難い fact6: 「もしも「雇用するかあるいは攻め倦む」ものがあるとするとその撥ね出しは攻め倦む」ということは成り立つ fact7: もし「作業部会であるかあるいは来難いかあるいは両方である」ものがあるとするとその前輪駆動車は来難い fact8: 仮にこの朝倉等は組み入れないならば「その撥ね出しは嫁ぐしかつそれは攻め倦む」ということは成り立たない fact9: この朝倉等は雇用するかもしくは攻め倦むかあるいは両方だ fact10: 仮にその撥ね出しが捨て難いならばあの仲裁裁定は捨て難い fact11: もしもこの朝倉等は雇用するとしたら「組み入れる」ということは確かだ fact12: その撥ね出しは組み入れる fact13: 仮にその撥ね出しが来難いならば嫁ぐ fact14: 「あの吸収は涙脆いかもしくはそれは門付けするかまたは両方ともだ」ということは成り立たない fact15: もしなにがしかのものが嫁がないとしたらそれは捨て難いしおまけに組み入れる fact16: 仮に「攻め倦む」物はあれば「この朝倉等は来難くないが雇用する」ということは誤っている fact17: その撥ね出しは組み入れるしそれに来難い fact18: 「なにがしかのものは組み入れるしさらに嫁ぐ」ということは誤っているとすると嫁はない ; $hypothesis$ = その撥ね出しは嫁ぐし更に攻め倦む ; $proof$ = 
fact17 -> int1: その撥ね出しは来難い; int1 & fact13 -> int2: その撥ね出しは嫁ぐ; fact9 -> int3: 「雇用するかまたは攻め倦む」物はある; fact6 & int3 -> int4: その撥ね出しは攻め倦む; int2 & int4 -> hypothesis; __PROVED__
事実1: 「雇用する」ものがあるならその撥ね出しは攻め倦む
事実2: もし「この朝倉等は来難いということはないけれど雇用する」ということは成り立たないとしたら来難い
事実3: その一市民は指名委員会である
事実4: この朝倉等は攻め倦むかまたは来難い
事実5: もしこの朝倉等が来難いとしたらあの仲裁裁定は来難い
事実6: 「もしも「雇用するかあるいは攻め倦む」ものがあるとするとその撥ね出しは攻め倦む」ということは成り立つ
事実7: もし「作業部会であるかあるいは来難いかあるいは両方である」ものがあるとするとその前輪駆動車は来難い
事実8: 仮にこの朝倉等は組み入れないならば「その撥ね出しは嫁ぐしかつそれは攻め倦む」ということは成り立たない
事実9: この朝倉等は雇用するかもしくは攻め倦むかあるいは両方だ
事実10: 仮にその撥ね出しが捨て難いならばあの仲裁裁定は捨て難い
事実11: もしもこの朝倉等は雇用するとしたら「組み入れる」ということは確かだ
事実12: その撥ね出しは組み入れる
事実13: 仮にその撥ね出しが来難いならば嫁ぐ
事実14: 「あの吸収は涙脆いかもしくはそれは門付けするかまたは両方ともだ」ということは成り立たない
事実15: もしなにがしかのものが嫁がないとしたらそれは捨て難いしおまけに組み入れる
事実16: 仮に「攻め倦む」物はあれば「この朝倉等は来難くないが雇用する」ということは誤っている
事実17: その撥ね出しは組み入れるしそれに来難い
事実18: 「なにがしかのものは組み入れるしさらに嫁ぐ」ということは誤っているとすると嫁はない

仮説: その撥ね出しは嫁ぐし更に攻め倦む
1. 事実17から、推論1: "その撥ね出しは来難い"が導かれる
2. 推論1と事実13から、推論2: "その撥ね出しは嫁ぐ"が導かれる
3. 事実9から、推論3: "「雇用するかまたは攻め倦む」物はある"が導かれる
4. 事実6と推論3から、推論4: "その撥ね出しは攻め倦む"が導かれる
5. 推論2と推論4から、仮説が導かれる

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