この莢膜は懐こい
fact1: もしその機動性が荒いならこの一般建設業は手応えである fact2: 「この逆境は自動車整備工場だがそれは春らしくない」ということは成り立つということはない fact3: あの中国人民は手応えである fact4: もしも「何らかの物は自動車整備工場であるということはないかまたはそれは手応えでない」ということは真実でないならばそれは懐こくない fact5: もしも「この一般建設業は自動車整備工場でなくて手応えだということはない」ということは事実だとすればこの急先鋒は尽くし得ない fact6: 仮に「この逆境は自動車整備工場だがしかし春らしくない」ということは誤りだとすれば「その機動性は自動車整備工場でない」ということは成り立つ fact7: もしこの一般建設業が手応えだとすればこの莢膜は落花岩である fact8: もしあるものは落花岩ならば「尽くし得る」ということは成り立つ fact9: もしなにかは尽くし得るとしたらそれは懐こい fact10: なんらかのものは自動車整備工場でないとすると荒い
fact10 -> int1: その機動性は自動車整備工場でないとしたらそれは荒い; fact6 & fact2 -> int2: その機動性は自動車整備工場でない; int1 & int2 -> int3: その機動性は荒い; int3 & fact1 -> int4: この一般建設業は手応えだ; int4 & fact7 -> int5: この莢膜は落花岩である; fact8 -> int6: この莢膜は落花岩であるとするとそれは尽くし得る; int5 & int6 -> int7: この莢膜は尽くし得る; fact9 -> int8: もしこの莢膜は尽くし得れば懐こい; int7 & int8 -> hypothesis;
この莢膜は懐こくない
fact11 -> int9: もしも「この莢膜は自動車整備工場でないか手応えでないかもしくは両方である」ということは成り立たないとしたらそれは懐こくない;
$facts$ = fact1: もしその機動性が荒いならこの一般建設業は手応えである fact2: 「この逆境は自動車整備工場だがそれは春らしくない」ということは成り立つということはない fact3: あの中国人民は手応えである fact4: もしも「何らかの物は自動車整備工場であるということはないかまたはそれは手応えでない」ということは真実でないならばそれは懐こくない fact5: もしも「この一般建設業は自動車整備工場でなくて手応えだということはない」ということは事実だとすればこの急先鋒は尽くし得ない fact6: 仮に「この逆境は自動車整備工場だがしかし春らしくない」ということは誤りだとすれば「その機動性は自動車整備工場でない」ということは成り立つ fact7: もしこの一般建設業が手応えだとすればこの莢膜は落花岩である fact8: もしあるものは落花岩ならば「尽くし得る」ということは成り立つ fact9: もしなにかは尽くし得るとしたらそれは懐こい fact10: なんらかのものは自動車整備工場でないとすると荒い ; $hypothesis$ = この莢膜は懐こい ; $proof$ = 
fact10 -> int1: その機動性は自動車整備工場でないとしたらそれは荒い; fact6 & fact2 -> int2: その機動性は自動車整備工場でない; int1 & int2 -> int3: その機動性は荒い; int3 & fact1 -> int4: この一般建設業は手応えだ; int4 & fact7 -> int5: この莢膜は落花岩である; fact8 -> int6: この莢膜は落花岩であるとするとそれは尽くし得る; int5 & int6 -> int7: この莢膜は尽くし得る; fact9 -> int8: もしこの莢膜は尽くし得れば懐こい; int7 & int8 -> hypothesis; __PROVED__
事実1: もしその機動性が荒いならこの一般建設業は手応えである
事実2: 「この逆境は自動車整備工場だがそれは春らしくない」ということは成り立つということはない
事実3: あの中国人民は手応えである
事実4: もしも「何らかの物は自動車整備工場であるということはないかまたはそれは手応えでない」ということは真実でないならばそれは懐こくない
事実5: もしも「この一般建設業は自動車整備工場でなくて手応えだということはない」ということは事実だとすればこの急先鋒は尽くし得ない
事実6: 仮に「この逆境は自動車整備工場だがしかし春らしくない」ということは誤りだとすれば「その機動性は自動車整備工場でない」ということは成り立つ
事実7: もしこの一般建設業が手応えだとすればこの莢膜は落花岩である
事実8: もしあるものは落花岩ならば「尽くし得る」ということは成り立つ
事実9: もしなにかは尽くし得るとしたらそれは懐こい
事実10: なんらかのものは自動車整備工場でないとすると荒い

仮説: この莢膜は懐こい
1. 事実10から、推論1: "その機動性は自動車整備工場でないとしたらそれは荒い"が導かれる
2. 事実6と事実2から、推論2: "その機動性は自動車整備工場でない"が導かれる
3. 推論1と推論2から、推論3: "その機動性は荒い"が導かれる
4. 推論3と事実1から、推論4: "この一般建設業は手応えだ"が導かれる
5. 推論4と事実7から、推論5: "この莢膜は落花岩である"が導かれる
6. 事実8から、推論6: "この莢膜は落花岩であるとするとそれは尽くし得る"が導かれる
7. 推論5と推論6から、推論7: "この莢膜は尽くし得る"が導かれる
8. 事実9から、推論8: "もしこの莢膜は尽くし得れば懐こい"が導かれる
9. 推論7と推論8から、仮説が導かれる

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