あの小土地所有者は伸び易い
fact1: 「この感染力は不要枝でないしおまけにそれは受くない」ということは成り立たない fact2: その実用模型はレッド・ホット・チリ・ペッパーズだということはない fact3: もし仮に「その実用模型はレッド・ホット・チリ・ペッパーズだということはない」ということは成り立つならこの感染力はインフルエンザワクチンである fact4: もしもこの感染力がインフルエンザワクチンで更に不要枝であるとしたらあの小土地所有者は伸び易くない fact5: もし「「この感染力は不要枝でないしまた受くない」ということは真実である」ということは事実と異なるとすれば不要枝である
fact3 & fact2 -> int1: この感染力はインフルエンザワクチンだ; fact5 & fact1 -> int2: この感染力は不要枝である; int1 & int2 -> int3: この感染力がインフルエンザワクチンだしそれにそれは不要枝だ; int3 & fact4 -> hypothesis;
$facts$ = fact1: 「この感染力は不要枝でないしおまけにそれは受くない」ということは成り立たない fact2: その実用模型はレッド・ホット・チリ・ペッパーズだということはない fact3: もし仮に「その実用模型はレッド・ホット・チリ・ペッパーズだということはない」ということは成り立つならこの感染力はインフルエンザワクチンである fact4: もしもこの感染力がインフルエンザワクチンで更に不要枝であるとしたらあの小土地所有者は伸び易くない fact5: もし「「この感染力は不要枝でないしまた受くない」ということは真実である」ということは事実と異なるとすれば不要枝である ; $hypothesis$ = あの小土地所有者は伸び易い ; $proof$ = 
fact3 & fact2 -> int1: この感染力はインフルエンザワクチンだ; fact5 & fact1 -> int2: この感染力は不要枝である; int1 & int2 -> int3: この感染力がインフルエンザワクチンだしそれにそれは不要枝だ; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 「この感染力は不要枝でないしおまけにそれは受くない」ということは成り立たない
事実2: その実用模型はレッド・ホット・チリ・ペッパーズだということはない
事実3: もし仮に「その実用模型はレッド・ホット・チリ・ペッパーズだということはない」ということは成り立つならこの感染力はインフルエンザワクチンである
事実4: もしもこの感染力がインフルエンザワクチンで更に不要枝であるとしたらあの小土地所有者は伸び易くない
事実5: もし「「この感染力は不要枝でないしまた受くない」ということは真実である」ということは事実と異なるとすれば不要枝である

仮説: あの小土地所有者は伸び易い
1. 事実3と事実2から、推論1: "この感染力はインフルエンザワクチンだ"が導かれる
2. 事実5と事実1から、推論2: "この感染力は不要枝である"が導かれる
3. 推論1と推論2から、推論3: "この感染力がインフルエンザワクチンだしそれにそれは不要枝だ"が導かれる
4. 推論3と事実4から、仮説が否定される

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