「仮に検疫であるとしたら求刑でないかまたは忘れ易くないかまたは両方ともな」ものはある
fact1: もし仮にある物が揺るがし兼ねるとすると醜くないか督促するかもしくは両方だ fact2: 「もし仮に検疫ならば求刑であるかあるいは忘れ易くないかあるいは両方ともな」物はある fact3: もし仮にあるものが複雑化するならそれは追跡出来ないかあるいはそれは惨めったらしくないかあるいはどちらもだ fact4: 検疫は求刑であるということはないか忘れ易くないかもしくはどちらもだ fact5: 「もし仮に致せば組み付かないかもしくは通達しないかまたは両方ともである」物はある fact6: 「もしも二分するとすると固しないかまたは再確認出来ないかどちらもな」物はある fact7: もし仮にこの登録会社が検疫だとしたらそれは求刑であるかあるいは忘れ易くないか両方ともだ fact8: なにがしかのものが種類株主総会単位ならきったなくないかもしくは労働婦人であるかもしくは両方ともである fact9: 仮にこの登録会社が淀み無いとするとそれは求刑でないか日本ＩＢＭでないかどちらもだ fact10: もしある物が読了すればそれは近付き易くないか物凄くないかもしくはどちらもである fact11: 「「検疫である」ということは真実であるとすれば求刑でないかまたは忘れ易い」物はある fact12: もしこの登録会社が検疫であるならばそれは複雑化するということはないかあるいは近付き易いということはないかもしくは両方ともだ fact13: もしあのサバイバルナイフが鰻屋さんであるとすれば嫉妬深くないかもしくはそれは示し易いということはない
fact4 -> int1: もしもこの登録会社が検疫ならばそれは求刑でないか忘れ易いということはないかあるいは両方ともだ; int1 -> hypothesis;
「もしも複雑化するとしたら追跡出来ないかもしくは惨めったらしくない」物はある
fact14 -> int2: もしこのリスト作りが複雑化するとすれば追跡出来るということはないかもしくは惨めったらしくないかあるいは両方である; int2 -> hypothesis;
$facts$ = fact1: もし仮にある物が揺るがし兼ねるとすると醜くないか督促するかもしくは両方だ fact2: 「もし仮に検疫ならば求刑であるかあるいは忘れ易くないかあるいは両方ともな」物はある fact3: もし仮にあるものが複雑化するならそれは追跡出来ないかあるいはそれは惨めったらしくないかあるいはどちらもだ fact4: 検疫は求刑であるということはないか忘れ易くないかもしくはどちらもだ fact5: 「もし仮に致せば組み付かないかもしくは通達しないかまたは両方ともである」物はある fact6: 「もしも二分するとすると固しないかまたは再確認出来ないかどちらもな」物はある fact7: もし仮にこの登録会社が検疫だとしたらそれは求刑であるかあるいは忘れ易くないか両方ともだ fact8: なにがしかのものが種類株主総会単位ならきったなくないかもしくは労働婦人であるかもしくは両方ともである fact9: 仮にこの登録会社が淀み無いとするとそれは求刑でないか日本ＩＢＭでないかどちらもだ fact10: もしある物が読了すればそれは近付き易くないか物凄くないかもしくはどちらもである fact11: 「「検疫である」ということは真実であるとすれば求刑でないかまたは忘れ易い」物はある fact12: もしこの登録会社が検疫であるならばそれは複雑化するということはないかあるいは近付き易いということはないかもしくは両方ともだ fact13: もしあのサバイバルナイフが鰻屋さんであるとすれば嫉妬深くないかもしくはそれは示し易いということはない ; $hypothesis$ = 「仮に検疫であるとしたら求刑でないかまたは忘れ易くないかまたは両方ともな」ものはある ; $proof$ = 
fact4 -> int1: もしもこの登録会社が検疫ならばそれは求刑でないか忘れ易いということはないかあるいは両方ともだ; int1 -> hypothesis; __PROVED__
事実1: もし仮にある物が揺るがし兼ねるとすると醜くないか督促するかもしくは両方だ
事実2: 「もし仮に検疫ならば求刑であるかあるいは忘れ易くないかあるいは両方ともな」物はある
事実3: もし仮にあるものが複雑化するならそれは追跡出来ないかあるいはそれは惨めったらしくないかあるいはどちらもだ
事実4: 検疫は求刑であるということはないか忘れ易くないかもしくはどちらもだ
事実5: 「もし仮に致せば組み付かないかもしくは通達しないかまたは両方ともである」物はある
事実6: 「もしも二分するとすると固しないかまたは再確認出来ないかどちらもな」物はある
事実7: もし仮にこの登録会社が検疫だとしたらそれは求刑であるかあるいは忘れ易くないか両方ともだ
事実8: なにがしかのものが種類株主総会単位ならきったなくないかもしくは労働婦人であるかもしくは両方ともである
事実9: 仮にこの登録会社が淀み無いとするとそれは求刑でないか日本ＩＢＭでないかどちらもだ
事実10: もしある物が読了すればそれは近付き易くないか物凄くないかもしくはどちらもである
事実11: 「「検疫である」ということは真実であるとすれば求刑でないかまたは忘れ易い」物はある
事実12: もしこの登録会社が検疫であるならばそれは複雑化するということはないかあるいは近付き易いということはないかもしくは両方ともだ
事実13: もしあのサバイバルナイフが鰻屋さんであるとすれば嫉妬深くないかもしくはそれは示し易いということはない

仮説: 「仮に検疫であるとしたら求刑でないかまたは忘れ易くないかまたは両方ともな」ものはある
1. 事実4から、推論1: "もしもこの登録会社が検疫ならばそれは求刑でないか忘れ易いということはないかあるいは両方ともだ"が導かれる
2. 推論1から、仮説が導かれる

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