Bob is blue. Bob is nice. Charlie is nice. If something is blue then it is not furry. If something is nice then it is blue. All young, rough things are nice.
Bob is not rough.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2))] Bob is nice.[(triple2)] Charlie is nice.[(triple3)] @1: Bob is not furry.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Charlie is blue.[(((triple3) -> rule2))] @2: Charlie is not furry.[(((((triple3) -> rule2)) -> rule1))]