「あの医療情報はすばしこくておまけに大盛況だ」ということは成り立たない
fact1: もしもあの食事全体がみっともないということはないとしたらあの医療情報はすばしこい fact2: 心無いということはない物はみっともないということはないしそれに御若くない fact3: 仮にあの食事全体が心無くないとすればそれはみっともなくないし御若くない fact4: あの医療情報はすばしこい fact5: あの食事全体はみっともなくない fact6: もしもあの食事全体はみっともなくないとすると「あの医療情報はすばしこくて大盛況だ」ということは成り立つ fact7: 仮にみっともなくないものが御若いということはないとすればすばしこいということはない fact8: もし仮にあの食事全体が大盛況でないとしたらあの医療情報はみっともない
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
その親夫婦は大盛況でない
fact9 -> int1: もし仮にあの食事全体が心無いということはないならみっともなくなくてしかも御若くない;
$facts$ = fact1: もしもあの食事全体がみっともないということはないとしたらあの医療情報はすばしこい fact2: 心無いということはない物はみっともないということはないしそれに御若くない fact3: 仮にあの食事全体が心無くないとすればそれはみっともなくないし御若くない fact4: あの医療情報はすばしこい fact5: あの食事全体はみっともなくない fact6: もしもあの食事全体はみっともなくないとすると「あの医療情報はすばしこくて大盛況だ」ということは成り立つ fact7: 仮にみっともなくないものが御若いということはないとすればすばしこいということはない fact8: もし仮にあの食事全体が大盛況でないとしたらあの医療情報はみっともない ; $hypothesis$ = 「あの医療情報はすばしこくておまけに大盛況だ」ということは成り立たない ; $proof$ = 
fact6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあの食事全体がみっともないということはないとしたらあの医療情報はすばしこい
事実2: 心無いということはない物はみっともないということはないしそれに御若くない
事実3: 仮にあの食事全体が心無くないとすればそれはみっともなくないし御若くない
事実4: あの医療情報はすばしこい
事実5: あの食事全体はみっともなくない
事実6: もしもあの食事全体はみっともなくないとすると「あの医療情報はすばしこくて大盛況だ」ということは成り立つ
事実7: 仮にみっともなくないものが御若いということはないとすればすばしこいということはない
事実8: もし仮にあの食事全体が大盛況でないとしたらあの医療情報はみっともない

仮説: 「あの医療情報はすばしこくておまけに大盛況だ」ということは成り立たない
1. 事実6と事実5から、仮説が否定される

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