「その鯨肉は取れ易い」ということは正しい
fact1: もしなにかは攻め入るとすると染影する fact2: もしもなにかは染影するとすれば「義経記である」ということは正しい fact3: この空港側は取れ易い fact4: もしその鯨肉が枝条架であるとすればあの空港側は取れ易い fact5: もしも「あるものは攻め入らないしおまけに染影しない」ということは間違っていればそれは枝条架でない fact6: この空港側が取れ易いとしたらその鯨肉は義経記だ fact7: もし仮にこの空港側が枝条架だとすればあの鯨肉は取れ易い fact8: この空港側はブラックアウトしないけれど楽しいならばそれは退却しない fact9: もしこの空港側が枝条架であるならその鯨肉は取れ易くない fact10: もしもこの空港側は退却しないとすると「「その鯨肉は攻め入るということはないしまた染影するということはない」ということは真実である」ということは成り立つということはない fact11: 「この空港側は義経記だ」ということは真実だとしたらその鯨肉は取れ易い fact12: この空港側は枝条架であるかもしくは取れ易い fact13: この空港側は枝条架であるかあるいは義経記であるかあるいは両方ともだ
fact13 & fact7 & fact11 -> hypothesis;
fact13 & fact7 & fact11 -> hypothesis;
その鯨肉は取れ易くない
fact14 -> int1: 仮に「その鯨肉は攻め入るということはないしその上染影しない」ということは間違いならそれは枝条架でない;
$facts$ = fact1: もしなにかは攻め入るとすると染影する fact2: もしもなにかは染影するとすれば「義経記である」ということは正しい fact3: この空港側は取れ易い fact4: もしその鯨肉が枝条架であるとすればあの空港側は取れ易い fact5: もしも「あるものは攻め入らないしおまけに染影しない」ということは間違っていればそれは枝条架でない fact6: この空港側が取れ易いとしたらその鯨肉は義経記だ fact7: もし仮にこの空港側が枝条架だとすればあの鯨肉は取れ易い fact8: この空港側はブラックアウトしないけれど楽しいならばそれは退却しない fact9: もしこの空港側が枝条架であるならその鯨肉は取れ易くない fact10: もしもこの空港側は退却しないとすると「「その鯨肉は攻め入るということはないしまた染影するということはない」ということは真実である」ということは成り立つということはない fact11: 「この空港側は義経記だ」ということは真実だとしたらその鯨肉は取れ易い fact12: この空港側は枝条架であるかもしくは取れ易い fact13: この空港側は枝条架であるかあるいは義経記であるかあるいは両方ともだ ; $hypothesis$ = 「その鯨肉は取れ易い」ということは正しい ; $proof$ = 
fact13 & fact7 & fact11 -> hypothesis; __PROVED__
事実1: もしなにかは攻め入るとすると染影する
事実2: もしもなにかは染影するとすれば「義経記である」ということは正しい
事実3: この空港側は取れ易い
事実4: もしその鯨肉が枝条架であるとすればあの空港側は取れ易い
事実5: もしも「あるものは攻め入らないしおまけに染影しない」ということは間違っていればそれは枝条架でない
事実6: この空港側が取れ易いとしたらその鯨肉は義経記だ
事実7: もし仮にこの空港側が枝条架だとすればあの鯨肉は取れ易い
事実8: この空港側はブラックアウトしないけれど楽しいならばそれは退却しない
事実9: もしこの空港側が枝条架であるならその鯨肉は取れ易くない
事実10: もしもこの空港側は退却しないとすると「「その鯨肉は攻め入るということはないしまた染影するということはない」ということは真実である」ということは成り立つということはない
事実11: 「この空港側は義経記だ」ということは真実だとしたらその鯨肉は取れ易い
事実12: この空港側は枝条架であるかもしくは取れ易い
事実13: この空港側は枝条架であるかあるいは義経記であるかあるいは両方ともだ

仮説: 「その鯨肉は取れ易い」ということは正しい
1. 事実13と事実7と事実11から、仮説が導かれる

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