あの文相はにんまりする
fact1: 「あの文相は初歩であるかまたは卑しないかもしくは両方ともである」ということは正しくないとしたら「にんまりする」ということは真実である fact2: 「「あの文相は初歩であるかもしくは卑しないかあるいは両方ともである」ということは事実だ」ということは成り立たない
$facts$ = fact1: 「あの文相は初歩であるかまたは卑しないかもしくは両方ともである」ということは正しくないとしたら「にんまりする」ということは真実である fact2: 「「あの文相は初歩であるかもしくは卑しないかあるいは両方ともである」ということは事実だ」ということは成り立たない ; $hypothesis$ = あの文相はにんまりする ; $proof$ = 
事実1: 「あの文相は初歩であるかまたは卑しないかもしくは両方ともである」ということは正しくないとしたら「にんまりする」ということは真実である
事実2: 「「あの文相は初歩であるかもしくは卑しないかあるいは両方ともである」ということは事実だ」ということは成り立たない

仮説: あの文相はにんまりする