Erin is furry. Erin is red. Erin is round. Erin is white. Erin is young. Gary is furry. Gary is red. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is round. Harry is not white. Harry is not young. If something is round and cold then it is not young. All cold things are red. If something is round then it is kind.
Gary is white.
@0: Erin is furry.[(triple1)] Erin is red.[(triple2)] Erin is round.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is furry.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12 OR ((triple14) -> rule3))] Harry is not white.[(triple15)] Harry is not young.[(triple16 OR ((triple14 triple10) -> rule1))] Harry is red.[(triple13 OR ((triple10) -> rule2))] Harry is round.[(triple14)] @1: Erin is kind.[(((triple3) -> rule3))] Gary is kind.[(((triple8) -> rule3))]