Charlie is smart. Fiona is blue. Gary is nice. Harry is blue. All white people are round. Nice people are quiet. If someone is round and blue then they are red. If someone is smart and white then they are round. If someone is blue then they are white. If Gary is white and Gary is nice then Gary is quiet. If someone is nice and round then they are white. All white, nice people are round.
Harry is smart.
@0: Charlie is smart.[(triple1)] Fiona is blue.[(triple2)] Gary is nice.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is white.[(((triple2) -> rule5))] Gary is quiet.[(((triple3) -> rule2))] Harry is white.[(((triple4) -> rule5))] @2: Fiona is round.[(((((triple2) -> rule5)) -> rule1))] Harry is round.[(((((triple4) -> rule5)) -> rule1))] @3: Fiona is red.[(((((((triple2) -> rule5)) -> rule1) triple2) -> rule3))] Harry is red.[(((((((triple4) -> rule5)) -> rule1) triple4) -> rule3))]