その化学シフトはイスラム史でない
fact1: その化学シフトはエコファンドである fact2: もしなにがしかのものは絶句するとすると「それは利き難いけどエコファンドでない」ということは成り立たない fact3: その化学シフトは起き易い fact4: その化学シフトはイスラム史であるしそれにエコファンドである fact5: このウレタンフォームはイスラム史である
fact4 -> hypothesis;
fact4 -> hypothesis;
その化学シフトはイスラム史でない
fact6 -> int1: その化学シフトは絶句するなら「利き難くて更にエコファンドであるということはない」ということは偽である;
$facts$ = fact1: その化学シフトはエコファンドである fact2: もしなにがしかのものは絶句するとすると「それは利き難いけどエコファンドでない」ということは成り立たない fact3: その化学シフトは起き易い fact4: その化学シフトはイスラム史であるしそれにエコファンドである fact5: このウレタンフォームはイスラム史である ; $hypothesis$ = その化学シフトはイスラム史でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: その化学シフトはエコファンドである
事実2: もしなにがしかのものは絶句するとすると「それは利き難いけどエコファンドでない」ということは成り立たない
事実3: その化学シフトは起き易い
事実4: その化学シフトはイスラム史であるしそれにエコファンドである
事実5: このウレタンフォームはイスラム史である

仮説: その化学シフトはイスラム史でない
1. 事実4から、仮説が否定される

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