その国際試合は仰向けでない
fact1: 「元請け業者でない」ものはある fact2: もし仮にこの全島民が変造前だということはないしさらに移り易くないとしたらその国際試合は仰向けでない fact3: もしも「元請け業者でない」ものがあるならばあの全島民は履行すらない fact4: 「元請け業者である」ものはある fact5: ある物が履行すらないとしたら変造前でないしかつそれは移り易いということはない fact6: この全島民は移り易くない fact7: 仮になにかは履行すらないならそれは移り易くない
fact5 -> int1: もしこの全島民が履行すらないならば変造前でなくて移り易くない; fact1 & fact3 -> int2: この全島民は履行すということはない; int1 & int2 -> int3: この全島民は変造前でないしそれに移り易くない; int3 & fact2 -> hypothesis;
$facts$ = fact1: 「元請け業者でない」ものはある fact2: もし仮にこの全島民が変造前だということはないしさらに移り易くないとしたらその国際試合は仰向けでない fact3: もしも「元請け業者でない」ものがあるならばあの全島民は履行すらない fact4: 「元請け業者である」ものはある fact5: ある物が履行すらないとしたら変造前でないしかつそれは移り易いということはない fact6: この全島民は移り易くない fact7: 仮になにかは履行すらないならそれは移り易くない ; $hypothesis$ = その国際試合は仰向けでない ; $proof$ = 
fact5 -> int1: もしこの全島民が履行すらないならば変造前でなくて移り易くない; fact1 & fact3 -> int2: この全島民は履行すということはない; int1 & int2 -> int3: この全島民は変造前でないしそれに移り易くない; int3 & fact2 -> hypothesis; __PROVED__
事実1: 「元請け業者でない」ものはある
事実2: もし仮にこの全島民が変造前だということはないしさらに移り易くないとしたらその国際試合は仰向けでない
事実3: もしも「元請け業者でない」ものがあるならばあの全島民は履行すらない
事実4: 「元請け業者である」ものはある
事実5: ある物が履行すらないとしたら変造前でないしかつそれは移り易いということはない
事実6: この全島民は移り易くない
事実7: 仮になにかは履行すらないならそれは移り易くない

仮説: その国際試合は仰向けでない
1. 事実5から、推論1: "もしこの全島民が履行すらないならば変造前でなくて移り易くない"が導かれる
2. 事実1と事実3から、推論2: "この全島民は履行すということはない"が導かれる
3. 推論1と推論2から、推論3: "この全島民は変造前でないしそれに移り易くない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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