「仮に追い返すが狡賢くないならば悪賢くない」物はある
fact1: もしもあの混同行為が追い返すがそれが狡賢くないとすると悪賢くない
$facts$ = fact1: もしもあの混同行為が追い返すがそれが狡賢くないとすると悪賢くない ; $hypothesis$ = 「仮に追い返すが狡賢くないならば悪賢くない」物はある ; $proof$ = 
事実1: もしもあの混同行為が追い返すがそれが狡賢くないとすると悪賢くない

仮説: 「仮に追い返すが狡賢くないならば悪賢くない」物はある