その眼科は注記である
fact1: 「オーガナイズする」物はある fact2: もしも「オーガナイズしない」物があるならその支払い手段は行儀良い fact3: その眼科は集まり易くない fact4: その支払い手段が行儀良いとしたらその眼科は注記であるということはない fact5: 「「オーガナイズしない」物はある」ということは成り立つ fact6: もしその支払い手段は注記なら「その眼科は行儀良いということはない」ということは確かである
fact5 & fact2 -> int1: その支払い手段は行儀良い; int1 & fact4 -> hypothesis;
fact5 & fact2 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
$facts$ = fact1: 「オーガナイズする」物はある fact2: もしも「オーガナイズしない」物があるならその支払い手段は行儀良い fact3: その眼科は集まり易くない fact4: その支払い手段が行儀良いとしたらその眼科は注記であるということはない fact5: 「「オーガナイズしない」物はある」ということは成り立つ fact6: もしその支払い手段は注記なら「その眼科は行儀良いということはない」ということは確かである ; $hypothesis$ = その眼科は注記である ; $proof$ = 
fact5 & fact2 -> int1: その支払い手段は行儀良い; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「オーガナイズする」物はある
事実2: もしも「オーガナイズしない」物があるならその支払い手段は行儀良い
事実3: その眼科は集まり易くない
事実4: その支払い手段が行儀良いとしたらその眼科は注記であるということはない
事実5: 「「オーガナイズしない」物はある」ということは成り立つ
事実6: もしその支払い手段は注記なら「その眼科は行儀良いということはない」ということは確かである

仮説: その眼科は注記である
1. 事実5と事実2から、推論1: "その支払い手段は行儀良い"が導かれる
2. 推論1と事実4から、仮説が否定される

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