あの残気は飛行機らしいということはない
fact1: その睾丸は飛行機らしい fact2: もし仮に「あの残気は引き替えるということはない」ということは確かだとするとそれは飛行機らしい fact3: あの残気は眠たい fact4: もしあの残気が自然らしいということはないとすれば嘯く fact5: あの第七回総会は引き替える fact6: あの残気は大政治家であるということはない fact7: あの残気は実る fact8: その国家的規制は引き替える fact9: あの米援は引き替えない fact10: あの適正配置は飛行機らしい fact11: もし仮にその機械式が乗り継がないならばそれは引き替える fact12: もし仮にあの残気が飛行機らしくないならば需要する fact13: あの残気は組織化しない fact14: もしもあの残気が飛行機らしくないとすればそれはポリ容器である fact15: あの残気は引き替えない
fact2 & fact15 -> hypothesis;
fact2 & fact15 -> hypothesis;
$facts$ = fact1: その睾丸は飛行機らしい fact2: もし仮に「あの残気は引き替えるということはない」ということは確かだとするとそれは飛行機らしい fact3: あの残気は眠たい fact4: もしあの残気が自然らしいということはないとすれば嘯く fact5: あの第七回総会は引き替える fact6: あの残気は大政治家であるということはない fact7: あの残気は実る fact8: その国家的規制は引き替える fact9: あの米援は引き替えない fact10: あの適正配置は飛行機らしい fact11: もし仮にその機械式が乗り継がないならばそれは引き替える fact12: もし仮にあの残気が飛行機らしくないならば需要する fact13: あの残気は組織化しない fact14: もしもあの残気が飛行機らしくないとすればそれはポリ容器である fact15: あの残気は引き替えない ; $hypothesis$ = あの残気は飛行機らしいということはない ; $proof$ = 
fact2 & fact15 -> hypothesis; __DISPROVED__
事実1: その睾丸は飛行機らしい
事実2: もし仮に「あの残気は引き替えるということはない」ということは確かだとするとそれは飛行機らしい
事実3: あの残気は眠たい
事実4: もしあの残気が自然らしいということはないとすれば嘯く
事実5: あの第七回総会は引き替える
事実6: あの残気は大政治家であるということはない
事実7: あの残気は実る
事実8: その国家的規制は引き替える
事実9: あの米援は引き替えない
事実10: あの適正配置は飛行機らしい
事実11: もし仮にその機械式が乗り継がないならばそれは引き替える
事実12: もし仮にあの残気が飛行機らしくないならば需要する
事実13: あの残気は組織化しない
事実14: もしもあの残気が飛行機らしくないとすればそれはポリ容器である
事実15: あの残気は引き替えない

仮説: あの残気は飛行機らしいということはない
1. 事実2と事実15から、仮説が否定される

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