Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. If someone is rough then they are round.
Erin is cold.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7 OR ((triple6) -> rule1))] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14 OR ((triple13) -> rule1))]