Erin is big. Erin is cold. Erin is furry. Erin is young. Gary is big. Gary is cold. Gary is not nice. Gary is round. Gary is young. Harry is cold. If Gary is big and Gary is round then Gary is not rough. If Harry is furry and Harry is round then Harry is young. If something is big and not nice then it is not rough.
Harry is round.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is not nice.[(triple7)] Gary is round.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] @1: Gary is not rough.[(((triple5 triple7) -> rule3) OR ((triple5 triple8) -> rule1))]