この楚は直接生産者だ
fact1: この昼御飯は直接生産者でない fact2: この楚が生々しいとするとこの性習慣はめげない fact3: この性習慣は生々しい fact4: もし仮にこの性習慣がめげるとするとこの楚は直接生産者であるということはない fact5: 「この楚は生々しい」ということは成り立つ fact6: あの戦争中は直接生産者でない fact7: 各学級がめでたいとするとめげない fact8: この性習慣は直接生産者でない fact9: もし仮にこの楚が直接生産者であるかもしくは生々しいか両方だとしたらこの性習慣はめげない fact10: この性習慣が生々しいかもしくはめげるかあるいはどちらもであるとしたらこの楚は直接生産者でない fact11: もしもこの性習慣が各学級だとしたらこの楚は生々しかなくてしかも直接生産者でない fact12: もし生々しいということはないものは直接生産者でないならめげない
fact3 -> int1: この性習慣は生々しいかまたはそれはめげる; int1 & fact10 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact10 -> hypothesis;
「この楚は直接生産者だ」ということは成り立つ
fact13 -> int2: 仮にこの性習慣は各学級だし加えてめでたいならめげない;
$facts$ = fact1: この昼御飯は直接生産者でない fact2: この楚が生々しいとするとこの性習慣はめげない fact3: この性習慣は生々しい fact4: もし仮にこの性習慣がめげるとするとこの楚は直接生産者であるということはない fact5: 「この楚は生々しい」ということは成り立つ fact6: あの戦争中は直接生産者でない fact7: 各学級がめでたいとするとめげない fact8: この性習慣は直接生産者でない fact9: もし仮にこの楚が直接生産者であるかもしくは生々しいか両方だとしたらこの性習慣はめげない fact10: この性習慣が生々しいかもしくはめげるかあるいはどちらもであるとしたらこの楚は直接生産者でない fact11: もしもこの性習慣が各学級だとしたらこの楚は生々しかなくてしかも直接生産者でない fact12: もし生々しいということはないものは直接生産者でないならめげない ; $hypothesis$ = この楚は直接生産者だ ; $proof$ = 
fact3 -> int1: この性習慣は生々しいかまたはそれはめげる; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: この昼御飯は直接生産者でない
事実2: この楚が生々しいとするとこの性習慣はめげない
事実3: この性習慣は生々しい
事実4: もし仮にこの性習慣がめげるとするとこの楚は直接生産者であるということはない
事実5: 「この楚は生々しい」ということは成り立つ
事実6: あの戦争中は直接生産者でない
事実7: 各学級がめでたいとするとめげない
事実8: この性習慣は直接生産者でない
事実9: もし仮にこの楚が直接生産者であるかもしくは生々しいか両方だとしたらこの性習慣はめげない
事実10: この性習慣が生々しいかもしくはめげるかあるいはどちらもであるとしたらこの楚は直接生産者でない
事実11: もしもこの性習慣が各学級だとしたらこの楚は生々しかなくてしかも直接生産者でない
事実12: もし生々しいということはないものは直接生産者でないならめげない

仮説: この楚は直接生産者だ
1. 事実3から、推論1: "この性習慣は生々しいかまたはそれはめげる"が導かれる
2. 推論1と事実10から、仮説が否定される

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