Anne is smart. Erin is green. Erin is young. Fiona is not quiet. Gary is green. Gary is not smart. Gary is young. Rough things are blue. All quiet things are not smart. If Gary is blue and Gary is smart then Gary is not young. If something is quiet then it is not young. If something is quiet and blue then it is green. If Gary is green and Gary is blue then Gary is round. All blue, rough things are not round. All smart things are rough.
Fiona is green.
@0: Anne is smart.[(triple1)] Erin is green.[(triple2)] Erin is young.[(triple3)] Fiona is not quiet.[(triple4)] Gary is green.[(triple5)] Gary is not smart.[(triple6)] Gary is young.[(triple7)] @1: Anne is rough.[(((triple1) -> rule8))] @2: Anne is blue.[(((((triple1) -> rule8)) -> rule1))] @3: Anne is not round.[(((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule7))]