そのスコップは体系だ
fact1: そのスコップが嘆かわしくないかあるいは巨細であるとしたら「それは体系だ」ということは偽である fact2: そのスコップは嘆かわしくないかあるいはそれは巨細である
$facts$ = fact1: そのスコップが嘆かわしくないかあるいは巨細であるとしたら「それは体系だ」ということは偽である fact2: そのスコップは嘆かわしくないかあるいはそれは巨細である ; $hypothesis$ = そのスコップは体系だ ; $proof$ = 
事実1: そのスコップが嘆かわしくないかあるいは巨細であるとしたら「それは体系だ」ということは偽である
事実2: そのスコップは嘆かわしくないかあるいはそれは巨細である

仮説: そのスコップは体系だ