Charlie is big. Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is rough. Gary is blue. Gary is rough. Gary is round. Gary is smart. Big, rough things are kind. If something is smart and rough then it is big. If Gary is big and Gary is smart then Gary is kind.
Gary is not round.
@0: Charlie is big.[(triple1)] Erin is big.[(triple2)] Erin is blue.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple2 triple6) -> rule1))] Erin is rough.[(triple6)] Gary is blue.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Gary is big.[(((triple10 triple8) -> rule2))] @2: Gary is kind.[(((((triple10 triple8) -> rule2) triple10) -> rule3) OR ((((triple10 triple8) -> rule2) triple8) -> rule1))]