Anne is cold. Anne is not smart. Anne is young. Bob is nice. Bob is not red. Bob is smart. Erin is big. Erin is furry. Erin is smart. Erin is young. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is smart. Harry is young. All furry, nice things are young. If something is nice and not young then it is big. If something is nice and not furry then it is not big. All nice, cold things are not red. If something is nice and not cold then it is not red. If something is cold and not young then it is red.
Anne is not red.
@0: Anne is cold.[(triple1)] Anne is not smart.[(triple2)] Anne is young.[(triple3)] Bob is nice.[(triple4)] Bob is not red.[(triple5)] Bob is smart.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple13 triple14) -> rule1))] @1: Harry is not red.[(((triple14 triple12) -> rule4))]