Anne is smart. Bob is cold. Fiona is nice. Harry is kind. Nice things are green. If Harry is smart then Harry is blue. Green things are smart. All cold things are nice. Big things are blue. If Anne is nice then Anne is big. If something is green and big then it is not kind. If something is smart and nice then it is kind.
Bob is nice.
@0: Anne is smart.[(triple1)] Bob is cold.[(triple2)] Fiona is nice.[(triple3)] Harry is kind.[(triple4)] @1: Bob is nice.[(((triple2) -> rule4))] Fiona is green.[(((triple3) -> rule1))] @2: Bob is green.[(((((triple2) -> rule4)) -> rule1))] Fiona is smart.[(((((triple3) -> rule1)) -> rule3))] @3: Bob is smart.[(((((((triple2) -> rule4)) -> rule1)) -> rule3))] Fiona is kind.[(((((((triple3) -> rule1)) -> rule3) triple3) -> rule8))] @4: Bob is kind.[(((((((((triple2) -> rule4)) -> rule1)) -> rule3) ((triple2) -> rule4)) -> rule8))]