Charlie is rough. Charlie is round. Erin is young. Fiona is nice. Fiona is smart. Fiona is young. Gary is smart. All round, big things are rough. If Gary is rough and Gary is round then Gary is nice. If something is nice and quiet then it is big. If something is young then it is quiet. All smart things are young. If something is rough and nice then it is quiet.
Erin is not young.
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Erin is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6 OR ((triple5) -> rule5))] Gary is smart.[(triple7)] @1: Erin is quiet.[(((triple3) -> rule4))] Fiona is quiet.[(((triple6) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Gary is young.[(((triple7) -> rule5))] @2: Fiona is big.[(((triple4 ((triple6) -> rule4)) -> rule3) OR ((triple4 ((((triple5) -> rule5)) -> rule4)) -> rule3))] Gary is quiet.[(((((triple7) -> rule5)) -> rule4))]