Charlie is big. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is rough. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Erin is round. Gary is big. Big, cold people are rough.
Erin is not round.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is quiet.[(triple9)] Erin is rough.[(triple10 OR ((triple6 triple8) -> rule1))] Erin is round.[(triple11)] Gary is big.[(triple12)]