その袖ヶ浦人は教化しない
fact1: 「この襟元は教化する」ということは成り立つ fact2: その袖ヶ浦人は焦れったい fact3: その袖ヶ浦人は世帯員である fact4: もしその袖ヶ浦人は世帯員であるなら教化する fact5: この外城は教化する fact6: 仮に何かは教化しないけど細かいならば世帯員である fact7: その袖ヶ浦人はオーケストラ用である
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
「この若者は世帯員だ」ということは確かだ
fact8 -> int1: この若者が教化しないけど細かいとしたら世帯員だ;
$facts$ = fact1: 「この襟元は教化する」ということは成り立つ fact2: その袖ヶ浦人は焦れったい fact3: その袖ヶ浦人は世帯員である fact4: もしその袖ヶ浦人は世帯員であるなら教化する fact5: この外城は教化する fact6: 仮に何かは教化しないけど細かいならば世帯員である fact7: その袖ヶ浦人はオーケストラ用である ; $hypothesis$ = その袖ヶ浦人は教化しない ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: 「この襟元は教化する」ということは成り立つ
事実2: その袖ヶ浦人は焦れったい
事実3: その袖ヶ浦人は世帯員である
事実4: もしその袖ヶ浦人は世帯員であるなら教化する
事実5: この外城は教化する
事実6: 仮に何かは教化しないけど細かいならば世帯員である
事実7: その袖ヶ浦人はオーケストラ用である

仮説: その袖ヶ浦人は教化しない
1. 事実4と事実3から、仮説が否定される

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