この語性は準ずる
fact1: もしなにがしかのものは粉っぽくないとすると「美ししかつ診断する」ということは偽である fact2: もしあの骨新生が外来通院するしそれに戸口彫刻であるならこの語性は準ぜない fact3: もしも「あの骨新生は美ししおまけに診断する」ということは事実と異なるならこの語性は戸口彫刻でない fact4: あの骨新生は外来通院する fact5: あの高齢者問題は外来通院する fact6: あの賃貸契約は戸口彫刻でない fact7: 仮にあの骨新生が準ずるし戸口彫刻だとすればこの語性は外来通院しない fact8: あの骨新生は戸口彫刻だ fact9: もし仮になんらかの物は戸口彫刻でないなら準ずるし外来通院する
fact4 & fact8 -> int1: あの骨新生は外来通院するしそれに戸口彫刻だ; int1 & fact2 -> hypothesis;
この語性は準ずる
fact10 -> int2: もしもこの語性は戸口彫刻でないならそれは準ずるしかつ外来通院する; fact11 -> int3: もしもあの骨新生は粉っぽくないとしたら「美ししさらに診断する」ということは成り立つということはない;
$facts$ = fact1: もしなにがしかのものは粉っぽくないとすると「美ししかつ診断する」ということは偽である fact2: もしあの骨新生が外来通院するしそれに戸口彫刻であるならこの語性は準ぜない fact3: もしも「あの骨新生は美ししおまけに診断する」ということは事実と異なるならこの語性は戸口彫刻でない fact4: あの骨新生は外来通院する fact5: あの高齢者問題は外来通院する fact6: あの賃貸契約は戸口彫刻でない fact7: 仮にあの骨新生が準ずるし戸口彫刻だとすればこの語性は外来通院しない fact8: あの骨新生は戸口彫刻だ fact9: もし仮になんらかの物は戸口彫刻でないなら準ずるし外来通院する ; $hypothesis$ = この語性は準ずる ; $proof$ = 
fact4 & fact8 -> int1: あの骨新生は外来通院するしそれに戸口彫刻だ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものは粉っぽくないとすると「美ししかつ診断する」ということは偽である
事実2: もしあの骨新生が外来通院するしそれに戸口彫刻であるならこの語性は準ぜない
事実3: もしも「あの骨新生は美ししおまけに診断する」ということは事実と異なるならこの語性は戸口彫刻でない
事実4: あの骨新生は外来通院する
事実5: あの高齢者問題は外来通院する
事実6: あの賃貸契約は戸口彫刻でない
事実7: 仮にあの骨新生が準ずるし戸口彫刻だとすればこの語性は外来通院しない
事実8: あの骨新生は戸口彫刻だ
事実9: もし仮になんらかの物は戸口彫刻でないなら準ずるし外来通院する

仮説: この語性は準ずる
1. 事実4と事実8から、推論1: "あの骨新生は外来通院するしそれに戸口彫刻だ"が導かれる
2. 推論1と事実2から、仮説が否定される

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