このライブラリモジュールは心優しくない
fact1: 「「あの心素は聞き成れるしまた防水シートである」ということは確かである」ということは成り立たない fact2: 「もしも「あの心素は聞き成れるししかもそれは防水シートだ」ということは間違いならばあのライブラリモジュールは心優しくない」ということは成り立つ
$facts$ = fact1: 「「あの心素は聞き成れるしまた防水シートである」ということは確かである」ということは成り立たない fact2: 「もしも「あの心素は聞き成れるししかもそれは防水シートだ」ということは間違いならばあのライブラリモジュールは心優しくない」ということは成り立つ ; $hypothesis$ = このライブラリモジュールは心優しくない ; $proof$ = 
事実1: 「「あの心素は聞き成れるしまた防水シートである」ということは確かである」ということは成り立たない
事実2: 「もしも「あの心素は聞き成れるししかもそれは防水シートだ」ということは間違いならばあのライブラリモジュールは心優しくない」ということは成り立つ

仮説: このライブラリモジュールは心優しくない