とあるものは戻し易いかあるいはインポートし為さるかあるいは両方ともである
fact1: この出芽はジャンクフードだ fact2: もしもなにかは移り始めるとするとそれは戻し易い fact3: この人格的関係は凝るかもしくは重い fact4: 「この出芽は反抗出来る」ということは成り立つとすると帯びる fact5: この出芽は翻案するかもしくは反抗出来るかまたは両方である fact6: この出芽は移り始めるか寝苦しい fact7: あのウルトラは斜め薄切りである fact8: この出芽は反抗出来ない fact9: この出芽が泥臭いなら死ねる fact10: この朱椀は反抗出来る fact11: 瓢箪島は労労じ fact12: もしもなにかは乱暴するとすればそれは人間っぽい fact13: この出芽は反抗出来るということはないがしかしそれは移り始める fact14: この出芽は納得し易い
fact13 -> int1: この出芽は移り始める; fact2 -> int2: この出芽が移り始めるとしたらそれは戻し易い; int1 & int2 -> int3: この出芽は戻し易い; int3 -> int4: この出芽は戻し易いかあるいはそれはインポートし為さるか両方ともだ; int4 -> hypothesis;
$facts$ = fact1: この出芽はジャンクフードだ fact2: もしもなにかは移り始めるとするとそれは戻し易い fact3: この人格的関係は凝るかもしくは重い fact4: 「この出芽は反抗出来る」ということは成り立つとすると帯びる fact5: この出芽は翻案するかもしくは反抗出来るかまたは両方である fact6: この出芽は移り始めるか寝苦しい fact7: あのウルトラは斜め薄切りである fact8: この出芽は反抗出来ない fact9: この出芽が泥臭いなら死ねる fact10: この朱椀は反抗出来る fact11: 瓢箪島は労労じ fact12: もしもなにかは乱暴するとすればそれは人間っぽい fact13: この出芽は反抗出来るということはないがしかしそれは移り始める fact14: この出芽は納得し易い ; $hypothesis$ = とあるものは戻し易いかあるいはインポートし為さるかあるいは両方ともである ; $proof$ = 
fact13 -> int1: この出芽は移り始める; fact2 -> int2: この出芽が移り始めるとしたらそれは戻し易い; int1 & int2 -> int3: この出芽は戻し易い; int3 -> int4: この出芽は戻し易いかあるいはそれはインポートし為さるか両方ともだ; int4 -> hypothesis; __PROVED__
事実1: この出芽はジャンクフードだ
事実2: もしもなにかは移り始めるとするとそれは戻し易い
事実3: この人格的関係は凝るかもしくは重い
事実4: 「この出芽は反抗出来る」ということは成り立つとすると帯びる
事実5: この出芽は翻案するかもしくは反抗出来るかまたは両方である
事実6: この出芽は移り始めるか寝苦しい
事実7: あのウルトラは斜め薄切りである
事実8: この出芽は反抗出来ない
事実9: この出芽が泥臭いなら死ねる
事実10: この朱椀は反抗出来る
事実11: 瓢箪島は労労じ
事実12: もしもなにかは乱暴するとすればそれは人間っぽい
事実13: この出芽は反抗出来るということはないがしかしそれは移り始める
事実14: この出芽は納得し易い

仮説: とあるものは戻し易いかあるいはインポートし為さるかあるいは両方ともである
1. 事実13から、推論1: "この出芽は移り始める"が導かれる
2. 事実2から、推論2: "この出芽が移り始めるとしたらそれは戻し易い"が導かれる
3. 推論1と推論2から、推論3: "この出芽は戻し易い"が導かれる
4. 推論3から、推論4: "この出芽は戻し易いかあるいはそれはインポートし為さるか両方ともだ"が導かれる
5. 推論4から、仮説が導かれる

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