この利息・損害金は遅い
fact1: あの呉軍港は出易いかあるいは遅いかあるいはどちらもである fact2: さり気無い物は揺るぎなくない fact3: この利息・損害金は感慨深い fact4: もしその室内側が知り難しとすればこの利息・損害金は遅い fact5: あの測定後は獅子座であるかまたは生活保護法だ fact6: この健聴者が遅いとすればそれは突き上がらない fact7: この利息・損害金は獅子座であるか鍔する fact8: もしもなにがしかのものは同視しないとすると「田舎臭くなくて山猫でない」ということは真実でない fact9: なんらかのものは知り難しかまたは獅子座であるかまたは両方ともならば遅くない fact10: なんらかの物はシリアルナンバーであるかあるいは標準装着するとしたらそれは感慨深くない fact11: この利息・損害金は知り難し fact12: なんらかのものはシェアーしないとしたら「獅子座であるしおまけに知り難くない」ということは偽だ fact13: 合格者はＲＳＫでない fact14: もし仮にこの利息・損害金が縛るかあるいはそれは尽くし難いか両方ともだとするとそれは有るらしくない fact15: もし仮に「なにがしかの物は田舎臭くなくて更に山猫でない」ということは誤りだとするとシェアーしない fact16: この利息・損害金は再計算であるかもしくは獅子座である fact17: もしあの低経済成長時代は流用出来ないが乳酸発酵乳であるならそれは同視するということはない fact18: 獅子座は遅くない fact19: その神道講釈は知り難し fact20: 「藩庁は打ち易くない」ということは正しい fact21: もしもこの利息・損害金は獅子座であるとしたらそれは遅くない
fact11 -> int1: この利息・損害金は知り難しかもしくは獅子座であるか両方ともだ; fact9 -> int2: もしこの利息・損害金は知り難しかもしくは獅子座であるかあるいはどちらもだとすれば遅くない; int1 & int2 -> hypothesis;
fact11 -> int1: ({A}{a} v {B}{a}); fact9 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
この利息・損害金は遅い
fact23 -> int3: もしあの低経済成長時代はシェアーしないとすれば「獅子座だけど知り難しということはない」ということは間違っている; fact26 -> int4: もしも「あの低経済成長時代は田舎臭くなくて山猫でない」ということは間違っているとしたらそれはシェアーしない; fact25 -> int5: あの低経済成長時代は同視しないとすれば「それは田舎臭くなくて山猫だということはない」ということは成り立たない;
$facts$ = fact1: あの呉軍港は出易いかあるいは遅いかあるいはどちらもである fact2: さり気無い物は揺るぎなくない fact3: この利息・損害金は感慨深い fact4: もしその室内側が知り難しとすればこの利息・損害金は遅い fact5: あの測定後は獅子座であるかまたは生活保護法だ fact6: この健聴者が遅いとすればそれは突き上がらない fact7: この利息・損害金は獅子座であるか鍔する fact8: もしもなにがしかのものは同視しないとすると「田舎臭くなくて山猫でない」ということは真実でない fact9: なんらかのものは知り難しかまたは獅子座であるかまたは両方ともならば遅くない fact10: なんらかの物はシリアルナンバーであるかあるいは標準装着するとしたらそれは感慨深くない fact11: この利息・損害金は知り難し fact12: なんらかのものはシェアーしないとしたら「獅子座であるしおまけに知り難くない」ということは偽だ fact13: 合格者はＲＳＫでない fact14: もし仮にこの利息・損害金が縛るかあるいはそれは尽くし難いか両方ともだとするとそれは有るらしくない fact15: もし仮に「なにがしかの物は田舎臭くなくて更に山猫でない」ということは誤りだとするとシェアーしない fact16: この利息・損害金は再計算であるかもしくは獅子座である fact17: もしあの低経済成長時代は流用出来ないが乳酸発酵乳であるならそれは同視するということはない fact18: 獅子座は遅くない fact19: その神道講釈は知り難し fact20: 「藩庁は打ち易くない」ということは正しい fact21: もしもこの利息・損害金は獅子座であるとしたらそれは遅くない ; $hypothesis$ = この利息・損害金は遅い ; $proof$ = 
fact11 -> int1: この利息・損害金は知り難しかもしくは獅子座であるか両方ともだ; fact9 -> int2: もしこの利息・損害金は知り難しかもしくは獅子座であるかあるいはどちらもだとすれば遅くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの呉軍港は出易いかあるいは遅いかあるいはどちらもである
事実2: さり気無い物は揺るぎなくない
事実3: この利息・損害金は感慨深い
事実4: もしその室内側が知り難しとすればこの利息・損害金は遅い
事実5: あの測定後は獅子座であるかまたは生活保護法だ
事実6: この健聴者が遅いとすればそれは突き上がらない
事実7: この利息・損害金は獅子座であるか鍔する
事実8: もしもなにがしかのものは同視しないとすると「田舎臭くなくて山猫でない」ということは真実でない
事実9: なんらかのものは知り難しかまたは獅子座であるかまたは両方ともならば遅くない
事実10: なんらかの物はシリアルナンバーであるかあるいは標準装着するとしたらそれは感慨深くない
事実11: この利息・損害金は知り難し
事実12: なんらかのものはシェアーしないとしたら「獅子座であるしおまけに知り難くない」ということは偽だ
事実13: 合格者はＲＳＫでない
事実14: もし仮にこの利息・損害金が縛るかあるいはそれは尽くし難いか両方ともだとするとそれは有るらしくない
事実15: もし仮に「なにがしかの物は田舎臭くなくて更に山猫でない」ということは誤りだとするとシェアーしない
事実16: この利息・損害金は再計算であるかもしくは獅子座である
事実17: もしあの低経済成長時代は流用出来ないが乳酸発酵乳であるならそれは同視するということはない
事実18: 獅子座は遅くない
事実19: その神道講釈は知り難し
事実20: 「藩庁は打ち易くない」ということは正しい
事実21: もしもこの利息・損害金は獅子座であるとしたらそれは遅くない

仮説: この利息・損害金は遅い
1. 事実11から、推論1: "この利息・損害金は知り難しかもしくは獅子座であるか両方ともだ"が導かれる
2. 事実9から、推論2: "もしこの利息・損害金は知り難しかもしくは獅子座であるかあるいはどちらもだとすれば遅くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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