「仮にその活躍馬は飲み尽くすとしたら「その活躍馬は回し入れないし加えて疲れ易くない」ということは誤っている」ということは間違いである
fact1: もしもなにがしかのものは飲み尽くすとすると「それは回し入れないしそれは疲れ易くない」ということは成り立たない
$facts$ = fact1: もしもなにがしかのものは飲み尽くすとすると「それは回し入れないしそれは疲れ易くない」ということは成り立たない ; $hypothesis$ = 「仮にその活躍馬は飲み尽くすとしたら「その活躍馬は回し入れないし加えて疲れ易くない」ということは誤っている」ということは間違いである ; $proof$ = 
事実1: もしもなにがしかのものは飲み尽くすとすると「それは回し入れないしそれは疲れ易くない」ということは成り立たない

仮説: 「仮にその活躍馬は飲み尽くすとしたら「その活躍馬は回し入れないし加えて疲れ易くない」ということは誤っている」ということは間違いである