Bob is green. Bob is round. Bob is white. Fiona is nice. Gary is nice. Gary is red. Gary is round. All round things are green. If something is green then it is white.
Bob is not nice.
@0: Bob is green.[(triple1 OR ((triple2) -> rule1))] Bob is round.[(triple2)] Bob is white.[(triple3 OR ((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Fiona is nice.[(triple4)] Gary is nice.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7)] @1: Gary is green.[(((triple7) -> rule1))] @2: Gary is white.[(((((triple7) -> rule1)) -> rule2))]