その故障中は開き易くない
fact1: もしすばしっこくない物が会見するとすればそれは開き易い fact2: 「なんらかのものは開き易いけれど参与者でない」ということは誤りであるとすれば「逢着するということはない」ということは事実である fact3: もしもそのボディイメージが逢着しないとすればあの故障中はすばしっこくないけどそれは会見する fact4: その本籍は逢着しない fact5: そのボディイメージは逢着しない fact6: もしもなんらかのものが逢着するということはないかあるいは参与者であるならばそれは開き易いということはない fact7: もしもその故障中は開き易くないけど逢着するとしたらすばしっこい
fact1 -> int1: もしもその故障中はすばしっこくないけど会見すれば開き易い; fact5 & fact3 -> int2: その故障中はすばしっこいということはないが会見する; int1 & int2 -> hypothesis;
このニュース映画は逢着しない
fact8 -> int3: もし仮に「このニュース映画は開き易いけど参与者でない」ということは誤りだとするとそれは逢着しない;
$facts$ = fact1: もしすばしっこくない物が会見するとすればそれは開き易い fact2: 「なんらかのものは開き易いけれど参与者でない」ということは誤りであるとすれば「逢着するということはない」ということは事実である fact3: もしもそのボディイメージが逢着しないとすればあの故障中はすばしっこくないけどそれは会見する fact4: その本籍は逢着しない fact5: そのボディイメージは逢着しない fact6: もしもなんらかのものが逢着するということはないかあるいは参与者であるならばそれは開き易いということはない fact7: もしもその故障中は開き易くないけど逢着するとしたらすばしっこい ; $hypothesis$ = その故障中は開き易くない ; $proof$ = 
fact1 -> int1: もしもその故障中はすばしっこくないけど会見すれば開き易い; fact5 & fact3 -> int2: その故障中はすばしっこいということはないが会見する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしすばしっこくない物が会見するとすればそれは開き易い
事実2: 「なんらかのものは開き易いけれど参与者でない」ということは誤りであるとすれば「逢着するということはない」ということは事実である
事実3: もしもそのボディイメージが逢着しないとすればあの故障中はすばしっこくないけどそれは会見する
事実4: その本籍は逢着しない
事実5: そのボディイメージは逢着しない
事実6: もしもなんらかのものが逢着するということはないかあるいは参与者であるならばそれは開き易いということはない
事実7: もしもその故障中は開き易くないけど逢着するとしたらすばしっこい

仮説: その故障中は開き易くない
1. 事実1から、推論1: "もしもその故障中はすばしっこくないけど会見すれば開き易い"が導かれる
2. 事実5と事実3から、推論2: "その故障中はすばしっこいということはないが会見する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。