Bob is blue. Fiona is green. Gary is quiet. Harry is green. Blue things are cold. All nice, green things are quiet. All rough, green things are nice. If something is rough then it is nice. If something is green then it is rough. If something is quiet and not rough then it is smart.
Harry is not quiet.
@0: Bob is blue.[(triple1)] Fiona is green.[(triple2)] Gary is quiet.[(triple3)] Harry is green.[(triple4)] @1: Bob is cold.[(((triple1) -> rule1))] Fiona is rough.[(((triple2) -> rule5))] Harry is rough.[(((triple4) -> rule5))] @2: Fiona is nice.[(((((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule5) triple2) -> rule3))] Harry is nice.[(((((triple4) -> rule5)) -> rule4) OR ((((triple4) -> rule5) triple4) -> rule3))] @3: Fiona is quiet.[(((((((triple2) -> rule5)) -> rule4) triple2) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule3) triple2) -> rule2))] Harry is quiet.[(((((((triple4) -> rule5)) -> rule4) triple4) -> rule2) OR ((((((triple4) -> rule5) triple4) -> rule3) triple4) -> rule2))]