Charlie is big. Charlie is quiet. Charlie is rough. Charlie is white. Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is white. Harry is rough. Quiet things are rough.
Charlie is quiet.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule1))] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9 OR ((triple8) -> rule1))] Erin is white.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] Harry is rough.[(triple16)] @1: Gary is rough.[(((triple14) -> rule1))]