「もし咲き競わないとすれば「等しないかあるいは投げ出すかあるいは両方だ」ということは偽な」物はある
fact1: 仮にこの相反は咲き競わないとしたら「等しないかあるいは投げ出すか両方だ」ということは成り立つということはない
$facts$ = fact1: 仮にこの相反は咲き競わないとしたら「等しないかあるいは投げ出すか両方だ」ということは成り立つということはない ; $hypothesis$ = 「もし咲き競わないとすれば「等しないかあるいは投げ出すかあるいは両方だ」ということは偽な」物はある ; $proof$ = 
事実1: 仮にこの相反は咲き競わないとしたら「等しないかあるいは投げ出すか両方だ」ということは成り立つということはない

仮説: 「もし咲き競わないとすれば「等しないかあるいは投げ出すかあるいは両方だ」ということは偽な」物はある