「あのＲＢは見届けないかまたは済ま無いということはないかまたは両方ともだ」ということは成り立たない
fact1: 「その教師等は流れ行かない」ということは偽でない fact2: 仮に「その教師等は流れ行かない」ということは真実ならばあのＲＢは見届けるということはないかもしくは済ま無くないかあるいは両方だ
$facts$ = fact1: 「その教師等は流れ行かない」ということは偽でない fact2: 仮に「その教師等は流れ行かない」ということは真実ならばあのＲＢは見届けるということはないかもしくは済ま無くないかあるいは両方だ ; $hypothesis$ = 「あのＲＢは見届けないかまたは済ま無いということはないかまたは両方ともだ」ということは成り立たない ; $proof$ = 
事実1: 「その教師等は流れ行かない」ということは偽でない
事実2: 仮に「その教師等は流れ行かない」ということは真実ならばあのＲＢは見届けるということはないかもしくは済ま無くないかあるいは両方だ

仮説: 「あのＲＢは見届けないかまたは済ま無いということはないかまたは両方ともだ」ということは成り立たない