その旧来は在宅高齢者だということはない
fact1: あのオプションは指差し為さるけれどそれは入り辛くない fact2: もしあのオプションが在宅高齢者であるけど出社出来ないとすればその旧来は頒布する fact3: その旧来は営業権である一方で出社出来ない fact4: あのオプションは頒布するということはない fact5: あのイースターは頒布するということはない fact6: この葉書サイズは出社出来る一方で増員すらない fact7: その旧来は頒布するということはない fact8: あの旅行業は出社出来る fact9: その旧来が頒布するがそれが在宅高齢者でないとすればあのオプションは出社出来る fact10: もしその旧来が出社出来る一方でそれが在宅高齢者でないならあのオプションは頒布する fact11: この絶縁材は在宅高齢者である一方で崩し易くない fact12: もし仮にあのオプションが出社出来るが頒布しないならばあの旧来は在宅高齢者だ fact13: もしもあのオプションは出社出来ないとしたら「それは在宅高齢者でかつ頒布する」ということは誤っている fact14: その旧来は出社出来ない fact15: あのオプションは出社出来る
fact15 & fact4 -> int1: あのオプションは出社出来るけれど頒布しない; int1 & fact12 -> hypothesis;
その旧来は在宅高齢者でない
$facts$ = fact1: あのオプションは指差し為さるけれどそれは入り辛くない fact2: もしあのオプションが在宅高齢者であるけど出社出来ないとすればその旧来は頒布する fact3: その旧来は営業権である一方で出社出来ない fact4: あのオプションは頒布するということはない fact5: あのイースターは頒布するということはない fact6: この葉書サイズは出社出来る一方で増員すらない fact7: その旧来は頒布するということはない fact8: あの旅行業は出社出来る fact9: その旧来が頒布するがそれが在宅高齢者でないとすればあのオプションは出社出来る fact10: もしその旧来が出社出来る一方でそれが在宅高齢者でないならあのオプションは頒布する fact11: この絶縁材は在宅高齢者である一方で崩し易くない fact12: もし仮にあのオプションが出社出来るが頒布しないならばあの旧来は在宅高齢者だ fact13: もしもあのオプションは出社出来ないとしたら「それは在宅高齢者でかつ頒布する」ということは誤っている fact14: その旧来は出社出来ない fact15: あのオプションは出社出来る ; $hypothesis$ = その旧来は在宅高齢者だということはない ; $proof$ = 
fact15 & fact4 -> int1: あのオプションは出社出来るけれど頒布しない; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: あのオプションは指差し為さるけれどそれは入り辛くない
事実2: もしあのオプションが在宅高齢者であるけど出社出来ないとすればその旧来は頒布する
事実3: その旧来は営業権である一方で出社出来ない
事実4: あのオプションは頒布するということはない
事実5: あのイースターは頒布するということはない
事実6: この葉書サイズは出社出来る一方で増員すらない
事実7: その旧来は頒布するということはない
事実8: あの旅行業は出社出来る
事実9: その旧来が頒布するがそれが在宅高齢者でないとすればあのオプションは出社出来る
事実10: もしその旧来が出社出来る一方でそれが在宅高齢者でないならあのオプションは頒布する
事実11: この絶縁材は在宅高齢者である一方で崩し易くない
事実12: もし仮にあのオプションが出社出来るが頒布しないならばあの旧来は在宅高齢者だ
事実13: もしもあのオプションは出社出来ないとしたら「それは在宅高齢者でかつ頒布する」ということは誤っている
事実14: その旧来は出社出来ない
事実15: あのオプションは出社出来る

仮説: その旧来は在宅高齢者だということはない
1. 事実15と事実4から、推論1: "あのオプションは出社出来るけれど頒布しない"が導かれる
2. 推論1と事実12から、仮説が否定される

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