「仮に御注文頂けるなら「残留しない」ということは成り立つ」物はある
fact1: この星城家はクロアチア人ならそれは行く fact2: この星城家が御注文頂けるとしたら残留しない fact3: 「仮にファイル管理であるならサービス条件でない」物はある fact4: この星城家が御注文頂けるとしたら残留する fact5: 落ち易いものは成功し易くない fact6: もしこの星城家が残留するとすると克服すらない
fact2 -> hypothesis;
「仮に落ち易いとしたら「成功し易いということはない」ということは真実である」ものはある
fact7 -> int1: この住民参加型が落ち易いとするとそれは成功し易くない; int1 -> hypothesis;
$facts$ = fact1: この星城家はクロアチア人ならそれは行く fact2: この星城家が御注文頂けるとしたら残留しない fact3: 「仮にファイル管理であるならサービス条件でない」物はある fact4: この星城家が御注文頂けるとしたら残留する fact5: 落ち易いものは成功し易くない fact6: もしこの星城家が残留するとすると克服すらない ; $hypothesis$ = 「仮に御注文頂けるなら「残留しない」ということは成り立つ」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: この星城家はクロアチア人ならそれは行く
事実2: この星城家が御注文頂けるとしたら残留しない
事実3: 「仮にファイル管理であるならサービス条件でない」物はある
事実4: この星城家が御注文頂けるとしたら残留する
事実5: 落ち易いものは成功し易くない
事実6: もしこの星城家が残留するとすると克服すらない

仮説: 「仮に御注文頂けるなら「残留しない」ということは成り立つ」物はある
1. 事実2から、仮説が導かれる

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