その色面は老計でない
fact1: 仮になにかは往診しないとすると「それは直り難くておまけに着る」ということは事実と異なる fact2: その色面は着る fact3: もしも「そのしょんべんは老計であるがしかし直り難くない」ということは成り立たないとしたらその色面は老計でない fact4: もし仮にそのしょんべんが着るとすればその色面は老計である fact5: その色面は大人っぽい fact6: その色面は直り難い fact7: そのしょんべんが直り難いならその色面は着る fact8: もしそのしょんべんが老計であるとするとその色面は着る fact9: そのしょんべんは着るかあるいは直り難いかあるいは両方ともである fact10: その色面は着るかそれは老計である fact11: もしもそのしょんべんが直り難いとすればあの食事等は直り難い fact12: その色面は老計であるかあるいは着るかもしくは両方だ fact13: そのしょんべんは老計だ fact14: 仮にそのしょんべんが着るとするとその色面は直り難い fact15: そのしょんべんは直り難いかもしくは老計である fact16: その色面はルーズソックスだ fact17: もし「そのしょんべんは直り難い」ということは真実であるとすればその色面は老計である fact18: 仮にそのしょんべんが老計であるとすればあの色面は直り難い fact19: もしもその色面が直り難いとすればそのしょんべんは老計である
fact9 & fact4 & fact17 -> hypothesis;
fact9 & fact4 & fact17 -> hypothesis;
その色面は老計でない
$facts$ = fact1: 仮になにかは往診しないとすると「それは直り難くておまけに着る」ということは事実と異なる fact2: その色面は着る fact3: もしも「そのしょんべんは老計であるがしかし直り難くない」ということは成り立たないとしたらその色面は老計でない fact4: もし仮にそのしょんべんが着るとすればその色面は老計である fact5: その色面は大人っぽい fact6: その色面は直り難い fact7: そのしょんべんが直り難いならその色面は着る fact8: もしそのしょんべんが老計であるとするとその色面は着る fact9: そのしょんべんは着るかあるいは直り難いかあるいは両方ともである fact10: その色面は着るかそれは老計である fact11: もしもそのしょんべんが直り難いとすればあの食事等は直り難い fact12: その色面は老計であるかあるいは着るかもしくは両方だ fact13: そのしょんべんは老計だ fact14: 仮にそのしょんべんが着るとするとその色面は直り難い fact15: そのしょんべんは直り難いかもしくは老計である fact16: その色面はルーズソックスだ fact17: もし「そのしょんべんは直り難い」ということは真実であるとすればその色面は老計である fact18: 仮にそのしょんべんが老計であるとすればあの色面は直り難い fact19: もしもその色面が直り難いとすればそのしょんべんは老計である ; $hypothesis$ = その色面は老計でない ; $proof$ = 
fact9 & fact4 & fact17 -> hypothesis; __DISPROVED__
事実1: 仮になにかは往診しないとすると「それは直り難くておまけに着る」ということは事実と異なる
事実2: その色面は着る
事実3: もしも「そのしょんべんは老計であるがしかし直り難くない」ということは成り立たないとしたらその色面は老計でない
事実4: もし仮にそのしょんべんが着るとすればその色面は老計である
事実5: その色面は大人っぽい
事実6: その色面は直り難い
事実7: そのしょんべんが直り難いならその色面は着る
事実8: もしそのしょんべんが老計であるとするとその色面は着る
事実9: そのしょんべんは着るかあるいは直り難いかあるいは両方ともである
事実10: その色面は着るかそれは老計である
事実11: もしもそのしょんべんが直り難いとすればあの食事等は直り難い
事実12: その色面は老計であるかあるいは着るかもしくは両方だ
事実13: そのしょんべんは老計だ
事実14: 仮にそのしょんべんが着るとするとその色面は直り難い
事実15: そのしょんべんは直り難いかもしくは老計である
事実16: その色面はルーズソックスだ
事実17: もし「そのしょんべんは直り難い」ということは真実であるとすればその色面は老計である
事実18: 仮にそのしょんべんが老計であるとすればあの色面は直り難い
事実19: もしもその色面が直り難いとすればそのしょんべんは老計である

仮説: その色面は老計でない
1. 事実9と事実4と事実17から、仮説が否定される

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