Anne is cold. Anne is kind. Erin is kind. Erin is nice. Erin is red. Gary is big. Gary is cold. Gary is furry. Harry is big. Harry is not kind. Harry is not nice. Harry is red. If Erin is kind and Erin is young then Erin is red. Cold, big people are not young.
Anne is young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Harry is big.[(triple9)] Harry is not kind.[(triple10)] Harry is not nice.[(triple11)] Harry is red.[(triple12)] @1: Gary is not young.[(((triple7 triple6) -> rule2))]