「もし「「理解し難くないし加えて疑わしくない」ということは本当だ」ということは成り立たないとしたら怪しい」物はある
fact1: もし「このメタファーは理解し難くないし疑わしいということはない」ということは成り立たないとしたら怪しい
$facts$ = fact1: もし「このメタファーは理解し難くないし疑わしいということはない」ということは成り立たないとしたら怪しい ; $hypothesis$ = 「もし「「理解し難くないし加えて疑わしくない」ということは本当だ」ということは成り立たないとしたら怪しい」物はある ; $proof$ = 
事実1: もし「このメタファーは理解し難くないし疑わしいということはない」ということは成り立たないとしたら怪しい

仮説: 「もし「「理解し難くないし加えて疑わしくない」ということは本当だ」ということは成り立たないとしたら怪しい」物はある