「「このサイエンスＳはいがらっぽいということはないかまたはそれは他愛無くないかあるいは両方ともである」ということは事実と異なる」ということは真実だ
fact1: もし仮に「「州単位である」ということは確かな」ものはあるなら「このサイエンスＳはいがらっぽくないかもしくは他愛無くないかどちらもだ」ということは成り立たない fact2: 「「州単位だ」ということは真実な」物はある
$facts$ = fact1: もし仮に「「州単位である」ということは確かな」ものはあるなら「このサイエンスＳはいがらっぽくないかもしくは他愛無くないかどちらもだ」ということは成り立たない fact2: 「「州単位だ」ということは真実な」物はある ; $hypothesis$ = 「「このサイエンスＳはいがらっぽいということはないかまたはそれは他愛無くないかあるいは両方ともである」ということは事実と異なる」ということは真実だ ; $proof$ = 
事実1: もし仮に「「州単位である」ということは確かな」ものはあるなら「このサイエンスＳはいがらっぽくないかもしくは他愛無くないかどちらもだ」ということは成り立たない
事実2: 「「州単位だ」ということは真実な」物はある

仮説: 「「このサイエンスＳはいがらっぽいということはないかまたはそれは他愛無くないかあるいは両方ともである」ということは事実と異なる」ということは真実だ