「もし「この柑子は花粉症であるがそれは導かない」ということは成り立たないとすればこの柑子は算定し難い」ということは成り立たない
fact1: 「とある物は花粉症だがしかし導かない」ということは成り立たないなら算定し難い
$facts$ = fact1: 「とある物は花粉症だがしかし導かない」ということは成り立たないなら算定し難い ; $hypothesis$ = 「もし「この柑子は花粉症であるがそれは導かない」ということは成り立たないとすればこの柑子は算定し難い」ということは成り立たない ; $proof$ = 
事実1: 「とある物は花粉症だがしかし導かない」ということは成り立たないなら算定し難い

仮説: 「もし「この柑子は花粉症であるがそれは導かない」ということは成り立たないとすればこの柑子は算定し難い」ということは成り立たない