「あの紅テントは悪くないしさらに苦いということはない」ということは成り立たない
fact1: もしこの典籍は錆無くないならば「あの紅テントは悪くないしまたそれは苦くない」ということは真実だ fact2: この典籍は錆無いということはない
$facts$ = fact1: もしこの典籍は錆無くないならば「あの紅テントは悪くないしまたそれは苦くない」ということは真実だ fact2: この典籍は錆無いということはない ; $hypothesis$ = 「あの紅テントは悪くないしさらに苦いということはない」ということは成り立たない ; $proof$ = 
事実1: もしこの典籍は錆無くないならば「あの紅テントは悪くないしまたそれは苦くない」ということは真実だ
事実2: この典籍は錆無いということはない

仮説: 「あの紅テントは悪くないしさらに苦いということはない」ということは成り立たない