あのシングルトラックは吸い始めないか汚いかもしくは両方である
fact1: もし「「フッシュでない」ということは事実な」ものはあるとしたら「あのシングルトラックは吸い始めないかまたはそれは汚いか両方ともである」ということは嘘だ fact2: ある物はフッシュでない
$facts$ = fact1: もし「「フッシュでない」ということは事実な」ものはあるとしたら「あのシングルトラックは吸い始めないかまたはそれは汚いか両方ともである」ということは嘘だ fact2: ある物はフッシュでない ; $hypothesis$ = あのシングルトラックは吸い始めないか汚いかもしくは両方である ; $proof$ = 
事実1: もし「「フッシュでない」ということは事実な」ものはあるとしたら「あのシングルトラックは吸い始めないかまたはそれは汚いか両方ともである」ということは嘘だ
事実2: ある物はフッシュでない

仮説: あのシングルトラックは吸い始めないか汚いかもしくは両方である