「あの御返しは学習者同士でない」ということは真実だ
fact1: もしこの純外れが楽しいとしたらあの御返しは学習者同士だ fact2: この純外れは楽しい
$facts$ = fact1: もしこの純外れが楽しいとしたらあの御返しは学習者同士だ fact2: この純外れは楽しい ; $hypothesis$ = 「あの御返しは学習者同士でない」ということは真実だ ; $proof$ = 
事実1: もしこの純外れが楽しいとしたらあの御返しは学習者同士だ
事実2: この純外れは楽しい

仮説: 「あの御返しは学習者同士でない」ということは真実だ