その象小屋はＩＣＵでないがしかしめんどい
fact1: あの強制退去は昼コースでない fact2: あの強制退去が昼コースでないとしたらその象小屋はＩＣＵであるということはないがしかしめんどい
$facts$ = fact1: あの強制退去は昼コースでない fact2: あの強制退去が昼コースでないとしたらその象小屋はＩＣＵであるということはないがしかしめんどい ; $hypothesis$ = その象小屋はＩＣＵでないがしかしめんどい ; $proof$ = 
事実1: あの強制退去は昼コースでない
事実2: あの強制退去が昼コースでないとしたらその象小屋はＩＣＵであるということはないがしかしめんどい

仮説: その象小屋はＩＣＵでないがしかしめんどい