「「「現われ易くてそれに尺鮎でない」ということは事実と異なる」ものはある」ということは間違っている
fact1: それは現われ易いけど尺鮎であるということはないというものはない fact2: 仮にとある物が悪くないとするとそれは再吸収するし女の子らしい fact3: 「もしも「何かは同義語だということはないけれど悪い」ということは成り立たないならば悪くない」ということは正しい
fact1 -> int1: 「この男鰥は現われ易いけどそれは尺鮎でない」ということは間違いである; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
それは丸いがしかし勢多分でないという物はない
fact4 -> int2: 仮に「その数時間後は悪くない」ということは成り立つならそれは再吸収するしかつ女の子らしい; fact5 -> int3: もし「その数時間後は同義語であるということはないけど悪い」ということは確かでないとすればそれは悪くない;
$facts$ = fact1: それは現われ易いけど尺鮎であるということはないというものはない fact2: 仮にとある物が悪くないとするとそれは再吸収するし女の子らしい fact3: 「もしも「何かは同義語だということはないけれど悪い」ということは成り立たないならば悪くない」ということは正しい ; $hypothesis$ = 「「「現われ易くてそれに尺鮎でない」ということは事実と異なる」ものはある」ということは間違っている ; $proof$ = 
fact1 -> int1: 「この男鰥は現われ易いけどそれは尺鮎でない」ということは間違いである; int1 -> hypothesis; __DISPROVED__
事実1: それは現われ易いけど尺鮎であるということはないというものはない
事実2: 仮にとある物が悪くないとするとそれは再吸収するし女の子らしい
事実3: 「もしも「何かは同義語だということはないけれど悪い」ということは成り立たないならば悪くない」ということは正しい

仮説: 「「「現われ易くてそれに尺鮎でない」ということは事実と異なる」ものはある」ということは間違っている
1. 事実1から、推論1: "「この男鰥は現われ易いけどそれは尺鮎でない」ということは間違いである"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。