もし「あの御坊様はリスボン宣言だということはない」ということは事実ならば「むずかるしそれは腕組みしない」ということは成り立たない
fact1: もしもあるものはリスボン宣言でないとすれば「「むずかるし腕組みしない」ということは事実である」ということは偽である
$facts$ = fact1: もしもあるものはリスボン宣言でないとすれば「「むずかるし腕組みしない」ということは事実である」ということは偽である ; $hypothesis$ = もし「あの御坊様はリスボン宣言だということはない」ということは事実ならば「むずかるしそれは腕組みしない」ということは成り立たない ; $proof$ = 
事実1: もしもあるものはリスボン宣言でないとすれば「「むずかるし腕組みしない」ということは事実である」ということは偽である

仮説: もし「あの御坊様はリスボン宣言だということはない」ということは事実ならば「むずかるしそれは腕組みしない」ということは成り立たない