Charlie is red. Erin is quiet. Fiona is blue. Gary is young. If someone is round and not young then they are not green. If someone is big then they are quiet. All round people are big. If someone is red then they are big. Young people are round. Young people are blue. If Charlie is young and Charlie is round then Charlie is quiet. If someone is big and not young then they are red.
Gary is not green.
@0: Charlie is red.[(triple1)] Erin is quiet.[(triple2)] Fiona is blue.[(triple3)] Gary is young.[(triple4)] @1: Charlie is big.[(((triple1) -> rule4))] Gary is blue.[(((triple4) -> rule6))] Gary is round.[(((triple4) -> rule5))] @2: Charlie is quiet.[(((((triple1) -> rule4)) -> rule2))] Gary is big.[(((((triple4) -> rule5)) -> rule3))] @3: Gary is quiet.[(((((((triple4) -> rule5)) -> rule3)) -> rule2))]