あのロングコートは姦しい
fact1: もし仮に「あの産後は断り難いということはない」ということは本当だとすると仰々しいし加えて銘柄Ａでない fact2: 「「半月でないし貝割れ菜でない」ということは誤りである」物があるとするとあの甲斐犬は半月である fact3: 仮にあの甲斐犬が半月であるとするとその不採算部門は半月である fact4: もし仮に「その維持管理費用は画一性でないかまたは銘柄Ａであるかあるいはどちらもだ」ということは嘘であるとしたらあのロングコートは姦しい fact5: その維持管理費用が断り難いならあの産後は断り難いということはない fact6: あの産後は画一性であるしまたまあるい fact7: 「あのロングコートはまあるくないかあるいは姦しいかまたはどちらもだ」ということは成り立たないとしたらあの産後は画一性だ fact8: もしその不採算部門が半月だとすればあの維持管理費用は断り難い fact9: 仮にその編み芯は相続人関係だということはないとすると「それは半月だということはないし貝割れ菜でない」ということは偽だ fact10: もしあの産後がまあるいとするとあの覆土はまあるい fact11: あの産後は画一性なら「「その維持管理費用は画一性でないかあるいは銘柄Ａである」ということは事実と異なる」ということは正しい fact12: その編み芯は相続人関係でない
fact6 -> int1: 「「あの産後は画一性である」ということは偽だ」ということは成り立たない; int1 & fact11 -> int2: 「その維持管理費用は画一性であるということはないかそれは銘柄Ａだ」ということは成り立たない; int2 & fact4 -> hypothesis;
あのロングコートは姦しくない
fact16 & fact19 -> int3: 「その編み芯は半月でないし貝割れ菜でない」ということは成り立たない; int3 -> int4: 「「半月でなくて貝割れ菜でない」ということは嘘である」ものはある; int4 & fact17 -> int5: あの甲斐犬は半月だ; fact18 & int5 -> int6: その不採算部門は半月だ; fact14 & int6 -> int7: その維持管理費用は断り難い; fact15 & int7 -> int8: あの産後は断り難くない; fact13 & int8 -> int9: あの産後は仰々しいがしかし銘柄Ａでない; int9 -> int10: あの産後は銘柄Ａでない;
$facts$ = fact1: もし仮に「あの産後は断り難いということはない」ということは本当だとすると仰々しいし加えて銘柄Ａでない fact2: 「「半月でないし貝割れ菜でない」ということは誤りである」物があるとするとあの甲斐犬は半月である fact3: 仮にあの甲斐犬が半月であるとするとその不採算部門は半月である fact4: もし仮に「その維持管理費用は画一性でないかまたは銘柄Ａであるかあるいはどちらもだ」ということは嘘であるとしたらあのロングコートは姦しい fact5: その維持管理費用が断り難いならあの産後は断り難いということはない fact6: あの産後は画一性であるしまたまあるい fact7: 「あのロングコートはまあるくないかあるいは姦しいかまたはどちらもだ」ということは成り立たないとしたらあの産後は画一性だ fact8: もしその不採算部門が半月だとすればあの維持管理費用は断り難い fact9: 仮にその編み芯は相続人関係だということはないとすると「それは半月だということはないし貝割れ菜でない」ということは偽だ fact10: もしあの産後がまあるいとするとあの覆土はまあるい fact11: あの産後は画一性なら「「その維持管理費用は画一性でないかあるいは銘柄Ａである」ということは事実と異なる」ということは正しい fact12: その編み芯は相続人関係でない ; $hypothesis$ = あのロングコートは姦しい ; $proof$ = 
fact6 -> int1: 「「あの産後は画一性である」ということは偽だ」ということは成り立たない; int1 & fact11 -> int2: 「その維持管理費用は画一性であるということはないかそれは銘柄Ａだ」ということは成り立たない; int2 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「あの産後は断り難いということはない」ということは本当だとすると仰々しいし加えて銘柄Ａでない
事実2: 「「半月でないし貝割れ菜でない」ということは誤りである」物があるとするとあの甲斐犬は半月である
事実3: 仮にあの甲斐犬が半月であるとするとその不採算部門は半月である
事実4: もし仮に「その維持管理費用は画一性でないかまたは銘柄Ａであるかあるいはどちらもだ」ということは嘘であるとしたらあのロングコートは姦しい
事実5: その維持管理費用が断り難いならあの産後は断り難いということはない
事実6: あの産後は画一性であるしまたまあるい
事実7: 「あのロングコートはまあるくないかあるいは姦しいかまたはどちらもだ」ということは成り立たないとしたらあの産後は画一性だ
事実8: もしその不採算部門が半月だとすればあの維持管理費用は断り難い
事実9: 仮にその編み芯は相続人関係だということはないとすると「それは半月だということはないし貝割れ菜でない」ということは偽だ
事実10: もしあの産後がまあるいとするとあの覆土はまあるい
事実11: あの産後は画一性なら「「その維持管理費用は画一性でないかあるいは銘柄Ａである」ということは事実と異なる」ということは正しい
事実12: その編み芯は相続人関係でない

仮説: あのロングコートは姦しい
1. 事実6から、推論1: "「「あの産後は画一性である」ということは偽だ」ということは成り立たない"が導かれる
2. 推論1と事実11から、推論2: "「その維持管理費用は画一性であるということはないかそれは銘柄Ａだ」ということは成り立たない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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