「「仮に英学だとすると犯し難くてまた十一時半でない」物はある」ということは偽である
fact1: 「もし仮に英学であるとしたら犯し難い」物はある fact2: もしなにかは英学であるとすれば犯し難くてまた十一時半でない fact3: 「もしも技術向上であるとしたら染み込み易いしおまけに新し」ものはある fact4: 「もしも合わせ辛いならイメージ資本主義である」ものはある fact5: もしその強迫症状が沈むとすれば十一時半でない fact6: 「もし仮に四十七人だとすれば急速静注する」物はある fact7: 「もし仮に聴覚・言語障害であるとすると成し能うけど皮肉っぽくない」物はある fact8: その強迫症状が英学であるとするとそれは犯し難くてかつそれは十一時半だ fact9: 仮にその強迫症状が英学だとするとそれは犯し難い fact10: 「もし英学であるならば十一時半であるということはない」物はある fact11: 「もし仮に英学であるとしたら犯し難くて加えて十一時半である」ものはある
fact2 -> int1: その強迫症状は英学であるとしたら犯し難いけど十一時半でない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に英学であるとしたら犯し難い」物はある fact2: もしなにかは英学であるとすれば犯し難くてまた十一時半でない fact3: 「もしも技術向上であるとしたら染み込み易いしおまけに新し」ものはある fact4: 「もしも合わせ辛いならイメージ資本主義である」ものはある fact5: もしその強迫症状が沈むとすれば十一時半でない fact6: 「もし仮に四十七人だとすれば急速静注する」物はある fact7: 「もし仮に聴覚・言語障害であるとすると成し能うけど皮肉っぽくない」物はある fact8: その強迫症状が英学であるとするとそれは犯し難くてかつそれは十一時半だ fact9: 仮にその強迫症状が英学だとするとそれは犯し難い fact10: 「もし英学であるならば十一時半であるということはない」物はある fact11: 「もし仮に英学であるとしたら犯し難くて加えて十一時半である」ものはある ; $hypothesis$ = 「「仮に英学だとすると犯し難くてまた十一時半でない」物はある」ということは偽である ; $proof$ = 
fact2 -> int1: その強迫症状は英学であるとしたら犯し難いけど十一時半でない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に英学であるとしたら犯し難い」物はある
事実2: もしなにかは英学であるとすれば犯し難くてまた十一時半でない
事実3: 「もしも技術向上であるとしたら染み込み易いしおまけに新し」ものはある
事実4: 「もしも合わせ辛いならイメージ資本主義である」ものはある
事実5: もしその強迫症状が沈むとすれば十一時半でない
事実6: 「もし仮に四十七人だとすれば急速静注する」物はある
事実7: 「もし仮に聴覚・言語障害であるとすると成し能うけど皮肉っぽくない」物はある
事実8: その強迫症状が英学であるとするとそれは犯し難くてかつそれは十一時半だ
事実9: 仮にその強迫症状が英学だとするとそれは犯し難い
事実10: 「もし英学であるならば十一時半であるということはない」物はある
事実11: 「もし仮に英学であるとしたら犯し難くて加えて十一時半である」ものはある

仮説: 「「仮に英学だとすると犯し難くてまた十一時半でない」物はある」ということは偽である
1. 事実2から、推論1: "その強迫症状は英学であるとしたら犯し難いけど十一時半でない"が導かれる
2. 推論1から、仮説が否定される

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