「この放牧場は目尻だということはない」ということは確かである
fact1: 「「分かり易いということはないし更に述べ上げない」ということは事実でない」ものはある fact2: もし「「「分かり易くないしそれに述べ上げるということはない」ということは事実でない」ものはある」ということは確かであるならばこの放牧場は目尻である
$facts$ = fact1: 「「分かり易いということはないし更に述べ上げない」ということは事実でない」ものはある fact2: もし「「「分かり易くないしそれに述べ上げるということはない」ということは事実でない」ものはある」ということは確かであるならばこの放牧場は目尻である ; $hypothesis$ = 「この放牧場は目尻だということはない」ということは確かである ; $proof$ = 
事実1: 「「分かり易いということはないし更に述べ上げない」ということは事実でない」ものはある
事実2: もし「「「分かり易くないしそれに述べ上げるということはない」ということは事実でない」ものはある」ということは確かであるならばこの放牧場は目尻である

仮説: 「この放牧場は目尻だということはない」ということは確かである