「この外肛門括約筋は深紅である」ということは成り立つ
fact1: ある物が仕掛けないとすればそれは生じ難くて更にそれは深紅だ fact2: 「この外肛門括約筋は正しくないけれどそれは細菌性である」ということは成り立たない fact3: もし仮にあるものは赤しないとすれば「生じ難くないし加えて仕掛けない」ということは成り立たない fact4: この外肛門括約筋は細菌性でないならそれは深紅だということはない fact5: もしも「この外肛門括約筋は正しくないが細菌性だ」ということは成り立つということはないとすると深紅でない
fact5 & fact2 -> hypothesis;
この外肛門括約筋は深紅だ
fact6 -> int1: もし仮にあの進歩主義教育は赤しないとすれば「それは生じ難くないし仕掛けない」ということは嘘だ;
$facts$ = fact1: ある物が仕掛けないとすればそれは生じ難くて更にそれは深紅だ fact2: 「この外肛門括約筋は正しくないけれどそれは細菌性である」ということは成り立たない fact3: もし仮にあるものは赤しないとすれば「生じ難くないし加えて仕掛けない」ということは成り立たない fact4: この外肛門括約筋は細菌性でないならそれは深紅だということはない fact5: もしも「この外肛門括約筋は正しくないが細菌性だ」ということは成り立つということはないとすると深紅でない ; $hypothesis$ = 「この外肛門括約筋は深紅である」ということは成り立つ ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: ある物が仕掛けないとすればそれは生じ難くて更にそれは深紅だ
事実2: 「この外肛門括約筋は正しくないけれどそれは細菌性である」ということは成り立たない
事実3: もし仮にあるものは赤しないとすれば「生じ難くないし加えて仕掛けない」ということは成り立たない
事実4: この外肛門括約筋は細菌性でないならそれは深紅だということはない
事実5: もしも「この外肛門括約筋は正しくないが細菌性だ」ということは成り立つということはないとすると深紅でない

仮説: 「この外肛門括約筋は深紅である」ということは成り立つ
1. 事実5と事実2から、仮説が否定される

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