Bob is kind. Fiona is white. Gary is furry. If something is furry then it is white. Kind things are white.
Fiona is not white.
@0: Bob is kind.[(triple1)] Fiona is white.[(triple2)] Gary is furry.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))] Gary is white.[(((triple3) -> rule1))]