Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is round. Erin is smart. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is round. Gary is smart. Round things are big. If something is smart then it is nice.
Gary is green.
@0: Erin is big.[(triple1 OR ((triple6) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5 OR ((triple7) -> rule2))] Erin is round.[(triple6)] Erin is smart.[(triple7)] Gary is big.[(triple8 OR ((triple13) -> rule1))] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12 OR ((triple14) -> rule2))] Gary is round.[(triple13)] Gary is smart.[(triple14)]