Charlie is smart. Fiona is blue. Gary is blue. Harry is blue. If something is round and big then it is young. All young, quiet things are round. Quiet, blue things are young. If something is round then it is quiet. If Fiona is green and Fiona is round then Fiona is quiet. If something is blue then it is quiet.
Charlie is not smart.
@0: Charlie is smart.[(triple1)] Fiona is blue.[(triple2)] Gary is blue.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is quiet.[(((triple2) -> rule6))] Gary is quiet.[(((triple3) -> rule6))] Harry is quiet.[(((triple4) -> rule6))] @2: Fiona is young.[(((((triple2) -> rule6) triple2) -> rule3))] Gary is young.[(((((triple3) -> rule6) triple3) -> rule3))] Harry is young.[(((((triple4) -> rule6) triple4) -> rule3))] @3: Fiona is round.[(((((((triple2) -> rule6) triple2) -> rule3) ((triple2) -> rule6)) -> rule2))] Gary is round.[(((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule6)) -> rule2))] Harry is round.[(((((((triple4) -> rule6) triple4) -> rule3) ((triple4) -> rule6)) -> rule2))]