「「もし「さり気無いということはないが見境無い」ということは成り立たないとすれば「辛抱強いということはない」ということは誤りでない」物はある」ということは本当だということはない
fact1: もしも「そのシアノバクテリアはさり気無くないけれど見境無い」ということは成り立たないとすればそれは辛抱強くない
$facts$ = fact1: もしも「そのシアノバクテリアはさり気無くないけれど見境無い」ということは成り立たないとすればそれは辛抱強くない ; $hypothesis$ = 「「もし「さり気無いということはないが見境無い」ということは成り立たないとすれば「辛抱強いということはない」ということは誤りでない」物はある」ということは本当だということはない ; $proof$ = 
事実1: もしも「そのシアノバクテリアはさり気無くないけれど見境無い」ということは成り立たないとすればそれは辛抱強くない

仮説: 「「もし「さり気無いということはないが見境無い」ということは成り立たないとすれば「辛抱強いということはない」ということは誤りでない」物はある」ということは本当だということはない