あのＢＩＮＤは発芽しない
fact1: 仮にこのセンター長は小憎らしくないとすると「それは発芽するかあるいは伸び易い」ということは事実である fact2: 「「伸び易くないかまたは発芽するかあるいは両方ともだ」ということは誤っている」ものがあるとしたらあのＢＩＮＤは出血し易くない fact3: 「「相性負けでないか狙い易いかもしくは両方である」ということは間違っている」物はある fact4: もし仮に「このセンター長は小憎らしい」ということは真実だとしたらあのＢＩＮＤは発芽する fact5: とあるものは発芽しないかもしくは出血し易い fact6: あのＢＩＮＤは相性負けだ fact7: 伸び易くない物は出血し易いかあるいは小憎らしいかまたはどちらもである fact8: もしもこのセンター長が出血し易いとするとあのＢＩＮＤは発芽する fact9: このセンター長はパノラマ写真であるかもしくは取得し易い fact10: あのＢＩＮＤは出血し易い fact11: もし仮にあのＢＩＮＤが発芽しないとするとそれは伸び易いかあるいは出血し易いかもしくはどちらもだ fact12: 「「憎々しくないかギリシア本土であるかまたはどちらもだ」ということは誤っている」物はある fact13: 「「相性負けでないかもしくは狙い易いかあるいはどちらもだ」ということは成り立たない」ものがあるとすればあのセンター長は伸び易くない fact14: もしもこのセンター長が発芽するとしたらあのＢＩＮＤは出血し易い
fact3 & fact13 -> int1: このセンター長は伸び易くない; fact7 -> int2: このセンター長が伸び易くないとすると出血し易いかまたは小憎らしいかどちらもだ; int1 & int2 -> int3: このセンター長は出血し易いかあるいはそれは小憎らしいかまたは両方ともだ; int3 & fact8 & fact4 -> hypothesis;
$facts$ = fact1: 仮にこのセンター長は小憎らしくないとすると「それは発芽するかあるいは伸び易い」ということは事実である fact2: 「「伸び易くないかまたは発芽するかあるいは両方ともだ」ということは誤っている」ものがあるとしたらあのＢＩＮＤは出血し易くない fact3: 「「相性負けでないか狙い易いかもしくは両方である」ということは間違っている」物はある fact4: もし仮に「このセンター長は小憎らしい」ということは真実だとしたらあのＢＩＮＤは発芽する fact5: とあるものは発芽しないかもしくは出血し易い fact6: あのＢＩＮＤは相性負けだ fact7: 伸び易くない物は出血し易いかあるいは小憎らしいかまたはどちらもである fact8: もしもこのセンター長が出血し易いとするとあのＢＩＮＤは発芽する fact9: このセンター長はパノラマ写真であるかもしくは取得し易い fact10: あのＢＩＮＤは出血し易い fact11: もし仮にあのＢＩＮＤが発芽しないとするとそれは伸び易いかあるいは出血し易いかもしくはどちらもだ fact12: 「「憎々しくないかギリシア本土であるかまたはどちらもだ」ということは誤っている」物はある fact13: 「「相性負けでないかもしくは狙い易いかあるいはどちらもだ」ということは成り立たない」ものがあるとすればあのセンター長は伸び易くない fact14: もしもこのセンター長が発芽するとしたらあのＢＩＮＤは出血し易い ; $hypothesis$ = あのＢＩＮＤは発芽しない ; $proof$ = 
fact3 & fact13 -> int1: このセンター長は伸び易くない; fact7 -> int2: このセンター長が伸び易くないとすると出血し易いかまたは小憎らしいかどちらもだ; int1 & int2 -> int3: このセンター長は出血し易いかあるいはそれは小憎らしいかまたは両方ともだ; int3 & fact8 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にこのセンター長は小憎らしくないとすると「それは発芽するかあるいは伸び易い」ということは事実である
事実2: 「「伸び易くないかまたは発芽するかあるいは両方ともだ」ということは誤っている」ものがあるとしたらあのＢＩＮＤは出血し易くない
事実3: 「「相性負けでないか狙い易いかもしくは両方である」ということは間違っている」物はある
事実4: もし仮に「このセンター長は小憎らしい」ということは真実だとしたらあのＢＩＮＤは発芽する
事実5: とあるものは発芽しないかもしくは出血し易い
事実6: あのＢＩＮＤは相性負けだ
事実7: 伸び易くない物は出血し易いかあるいは小憎らしいかまたはどちらもである
事実8: もしもこのセンター長が出血し易いとするとあのＢＩＮＤは発芽する
事実9: このセンター長はパノラマ写真であるかもしくは取得し易い
事実10: あのＢＩＮＤは出血し易い
事実11: もし仮にあのＢＩＮＤが発芽しないとするとそれは伸び易いかあるいは出血し易いかもしくはどちらもだ
事実12: 「「憎々しくないかギリシア本土であるかまたはどちらもだ」ということは誤っている」物はある
事実13: 「「相性負けでないかもしくは狙い易いかあるいはどちらもだ」ということは成り立たない」ものがあるとすればあのセンター長は伸び易くない
事実14: もしもこのセンター長が発芽するとしたらあのＢＩＮＤは出血し易い

仮説: あのＢＩＮＤは発芽しない
1. 事実3と事実13から、推論1: "このセンター長は伸び易くない"が導かれる
2. 事実7から、推論2: "このセンター長が伸び易くないとすると出血し易いかまたは小憎らしいかどちらもだ"が導かれる
3. 推論1と推論2から、推論3: "このセンター長は出血し易いかあるいはそれは小憎らしいかまたは両方ともだ"が導かれる
4. 推論3と事実8と事実4から、仮説が否定される

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