あの対向車線は眠くない
fact1: このヘテロは潰せるし眠い fact2: この文句無しはおっとりする fact3: あの対向車線はおっとりする fact4: もしも何らかの物がおっとりしないとすれば眠くない fact5: ある物が飛翔しないならばおっとりするしそれに眠い fact6: あの対向車線は公費負担するし随意償還株式である fact7: あの対向車線は還帰するしおまけに精神活動である fact8: 仮にそのペンチはいとおしいとすれば「飛翔しないしそれにそれはおっとりしない」ということは間違っている fact9: あの対向車線はおっとりするしまたそれは業績内容だ fact10: あの対向車線はおっとりするしそれに眠い fact11: このマルクス病はおっとりするしさらに知り難し fact12: このマクロ計量モデルはおっとりする fact13: あの対向車線はおっとりするし飛翔する
fact10 -> hypothesis;
fact10 -> hypothesis;
「あの小面積はおっとりする」ということは成り立つ
fact14 -> int1: もしあの小面積が飛翔しないとすればそれはおっとりするし加えて眠い;
$facts$ = fact1: このヘテロは潰せるし眠い fact2: この文句無しはおっとりする fact3: あの対向車線はおっとりする fact4: もしも何らかの物がおっとりしないとすれば眠くない fact5: ある物が飛翔しないならばおっとりするしそれに眠い fact6: あの対向車線は公費負担するし随意償還株式である fact7: あの対向車線は還帰するしおまけに精神活動である fact8: 仮にそのペンチはいとおしいとすれば「飛翔しないしそれにそれはおっとりしない」ということは間違っている fact9: あの対向車線はおっとりするしまたそれは業績内容だ fact10: あの対向車線はおっとりするしそれに眠い fact11: このマルクス病はおっとりするしさらに知り難し fact12: このマクロ計量モデルはおっとりする fact13: あの対向車線はおっとりするし飛翔する ; $hypothesis$ = あの対向車線は眠くない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: このヘテロは潰せるし眠い
事実2: この文句無しはおっとりする
事実3: あの対向車線はおっとりする
事実4: もしも何らかの物がおっとりしないとすれば眠くない
事実5: ある物が飛翔しないならばおっとりするしそれに眠い
事実6: あの対向車線は公費負担するし随意償還株式である
事実7: あの対向車線は還帰するしおまけに精神活動である
事実8: 仮にそのペンチはいとおしいとすれば「飛翔しないしそれにそれはおっとりしない」ということは間違っている
事実9: あの対向車線はおっとりするしまたそれは業績内容だ
事実10: あの対向車線はおっとりするしそれに眠い
事実11: このマルクス病はおっとりするしさらに知り難し
事実12: このマクロ計量モデルはおっとりする
事実13: あの対向車線はおっとりするし飛翔する

仮説: あの対向車線は眠くない
1. 事実10から、仮説が否定される

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