Anne is kind. Bob is red. Bob is white. Bob is young. Erin is cold. Erin is red. Erin is not white. Erin is young. Gary is nice. Gary is not red. If something is young then it is cold. All cold, nice things are red. If Erin is young then Erin is not nice. Kind things are young. All cold things are big. If Gary is white and Gary is kind then Gary is not red. Kind things are white. If something is nice and not big then it is not white.
Erin is cold.
@0: Anne is kind.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Erin is cold.[(triple5 OR ((triple8) -> rule1))] Erin is not white.[(triple7)] Erin is red.[(triple6)] Erin is young.[(triple8)] Gary is nice.[(triple9)] Gary is not red.[(triple10)] @1: Anne is white.[(((triple1) -> rule7))] Anne is young.[(((triple1) -> rule4))] Bob is cold.[(((triple4) -> rule1))] Erin is big.[(((triple5) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] Erin is not nice.[(((triple8) -> rule3))] @2: Anne is cold.[(((((triple1) -> rule4)) -> rule1))] Bob is big.[(((((triple4) -> rule1)) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule4)) -> rule1)) -> rule5))]