Bob is blue. Bob is kind. Fiona is blue. Fiona is nice. Fiona is smart. Harry is kind. Harry is not quiet. If something is smart then it is blue. If something is kind then it is blue. Blue things are smart.
Harry is kind.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2))] Bob is kind.[(triple2)] Fiona is blue.[(triple3 OR ((triple5) -> rule1))] Fiona is nice.[(triple4)] Fiona is smart.[(triple5 OR ((triple3) -> rule3))] Harry is kind.[(triple6)] Harry is not quiet.[(triple7)] @1: Bob is smart.[(((triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Harry is blue.[(((triple6) -> rule2))] @2: Harry is smart.[(((((triple6) -> rule2)) -> rule3))]