その防御施設は侵入し易い
fact1: その防御施設が掃除し易いならそれは侵入し易い fact2: その防御施設は掃除し易い fact3: もし仮にその筋緊張性ジストロフィーが掃除し易いとするとそれは返りらしい fact4: もしもなんらかの物が干ないとすると掃除し易くない fact5: その防御施設は感じ難くて狡賢い fact6: もし仮にその防御施設が干ないしかつそれが感じ難くないならば掃除し易いということはない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
あの待機中は侵入し易い
fact8 -> int1: あの待機中が干ないとするとそれは掃除し易くない; fact7 -> int2: その防御施設は感じ難い; int2 -> int3: あるものは感じ難い;
$facts$ = fact1: その防御施設が掃除し易いならそれは侵入し易い fact2: その防御施設は掃除し易い fact3: もし仮にその筋緊張性ジストロフィーが掃除し易いとするとそれは返りらしい fact4: もしもなんらかの物が干ないとすると掃除し易くない fact5: その防御施設は感じ難くて狡賢い fact6: もし仮にその防御施設が干ないしかつそれが感じ難くないならば掃除し易いということはない ; $hypothesis$ = その防御施設は侵入し易い ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: その防御施設が掃除し易いならそれは侵入し易い
事実2: その防御施設は掃除し易い
事実3: もし仮にその筋緊張性ジストロフィーが掃除し易いとするとそれは返りらしい
事実4: もしもなんらかの物が干ないとすると掃除し易くない
事実5: その防御施設は感じ難くて狡賢い
事実6: もし仮にその防御施設が干ないしかつそれが感じ難くないならば掃除し易いということはない

仮説: その防御施設は侵入し易い
1. 事実1と事実2から、仮説が導かれる

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