「あのローマ法上は腐植しないしさらに命題論理でない」ということは嘘だ
fact1: 「すべては腐植しなくて加えてそれは命題論理でない」ということは本当である
$facts$ = fact1: 「すべては腐植しなくて加えてそれは命題論理でない」ということは本当である ; $hypothesis$ = 「あのローマ法上は腐植しないしさらに命題論理でない」ということは嘘だ ; $proof$ = 
事実1: 「すべては腐植しなくて加えてそれは命題論理でない」ということは本当である

仮説: 「あのローマ法上は腐植しないしさらに命題論理でない」ということは嘘だ