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