あの読み聞かせは大平原でない
fact1: あの大洲が大平原であるとすればあの読み聞かせは大平原だ fact2: あの豹変振りは弱々しくて更に画像化する fact3: あの大洲は奏効しない fact4: もしも「あの読み聞かせは狭しかまたはそれは奏効する」ということは偽だとするとあの大洲は大平原でない fact5: 「あの大洲は狭しかもしくは奏効するかまたは両方である」ということは嘘だ fact6: もし「あの読み聞かせは狭しかあるいは大平原であるかあるいは両方である」ということは嘘であるとすれば「あの大洲は奏効しない」ということは事実だ fact7: 仮に「あの大洲は狭しかあるいは奏効する」ということは間違いだとするとあの読み聞かせは大平原でない fact8: もし仮に「あの大洲は狭しかあるいは大平原だ」ということは嘘ならばあの読み聞かせは奏効しない
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
あの読み聞かせは大平原だ
fact10 -> int1: あの豹変振りは弱々しい; int1 -> int2: なにかは弱々しい;
$facts$ = fact1: あの大洲が大平原であるとすればあの読み聞かせは大平原だ fact2: あの豹変振りは弱々しくて更に画像化する fact3: あの大洲は奏効しない fact4: もしも「あの読み聞かせは狭しかまたはそれは奏効する」ということは偽だとするとあの大洲は大平原でない fact5: 「あの大洲は狭しかもしくは奏効するかまたは両方である」ということは嘘だ fact6: もし「あの読み聞かせは狭しかあるいは大平原であるかあるいは両方である」ということは嘘であるとすれば「あの大洲は奏効しない」ということは事実だ fact7: 仮に「あの大洲は狭しかあるいは奏効する」ということは間違いだとするとあの読み聞かせは大平原でない fact8: もし仮に「あの大洲は狭しかあるいは大平原だ」ということは嘘ならばあの読み聞かせは奏効しない ; $hypothesis$ = あの読み聞かせは大平原でない ; $proof$ = 
fact7 & fact5 -> hypothesis; __PROVED__
事実1: あの大洲が大平原であるとすればあの読み聞かせは大平原だ
事実2: あの豹変振りは弱々しくて更に画像化する
事実3: あの大洲は奏効しない
事実4: もしも「あの読み聞かせは狭しかまたはそれは奏効する」ということは偽だとするとあの大洲は大平原でない
事実5: 「あの大洲は狭しかもしくは奏効するかまたは両方である」ということは嘘だ
事実6: もし「あの読み聞かせは狭しかあるいは大平原であるかあるいは両方である」ということは嘘であるとすれば「あの大洲は奏効しない」ということは事実だ
事実7: 仮に「あの大洲は狭しかあるいは奏効する」ということは間違いだとするとあの読み聞かせは大平原でない
事実8: もし仮に「あの大洲は狭しかあるいは大平原だ」ということは嘘ならばあの読み聞かせは奏効しない

仮説: あの読み聞かせは大平原でない
1. 事実7と事実5から、仮説が導かれる

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