Anne is big. Erin is blue. Gary is blue. All rough things are quiet. All smart, rough things are blue. If something is big and quiet then it is kind. If something is big and quiet then it is rough. All blue things are rough. If Gary is blue then Gary is smart.
Anne is not big.
@0: Anne is big.[(triple1)] Erin is blue.[(triple2)] Gary is blue.[(triple3)] @1: Erin is rough.[(((triple2) -> rule5))] Gary is rough.[(((triple3) -> rule5))] Gary is smart.[(((triple3) -> rule6))] @2: Erin is quiet.[(((((triple2) -> rule5)) -> rule1))] Gary is quiet.[(((((triple3) -> rule5)) -> rule1))]