「仮に素早いし大量殺人であるならちぎれ易くない」物はある
fact1: 「もし仮に素早いしさらに大量殺人だとすると「ちぎれ易い」ということは正しい」物はある fact2: もしもこの海外進出がちぎれ易いし防鹿柵なら等量だということはない fact3: そのシリアルマウスが素早くてそれに大量殺人であるとするとそれはちぎれ易くない fact4: もしもこのブルジョア国家がちぎれ易いしかつそれが憎らしいとすると驚喜する fact5: 「もし仮に抑留するしかつ処罰すれば御偉い」ものはある fact6: もし仮にそのシリアルマウスが素早いし更に大量殺人であるとしたらそれはちぎれ易い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「もし仮に素早いしさらに大量殺人だとすると「ちぎれ易い」ということは正しい」物はある fact2: もしもこの海外進出がちぎれ易いし防鹿柵なら等量だということはない fact3: そのシリアルマウスが素早くてそれに大量殺人であるとするとそれはちぎれ易くない fact4: もしもこのブルジョア国家がちぎれ易いしかつそれが憎らしいとすると驚喜する fact5: 「もし仮に抑留するしかつ処罰すれば御偉い」ものはある fact6: もし仮にそのシリアルマウスが素早いし更に大量殺人であるとしたらそれはちぎれ易い ; $hypothesis$ = 「仮に素早いし大量殺人であるならちぎれ易くない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし仮に素早いしさらに大量殺人だとすると「ちぎれ易い」ということは正しい」物はある
事実2: もしもこの海外進出がちぎれ易いし防鹿柵なら等量だということはない
事実3: そのシリアルマウスが素早くてそれに大量殺人であるとするとそれはちぎれ易くない
事実4: もしもこのブルジョア国家がちぎれ易いしかつそれが憎らしいとすると驚喜する
事実5: 「もし仮に抑留するしかつ処罰すれば御偉い」ものはある
事実6: もし仮にそのシリアルマウスが素早いし更に大量殺人であるとしたらそれはちぎれ易い

仮説: 「仮に素早いし大量殺人であるならちぎれ易くない」物はある
1. 事実3から、仮説が導かれる

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