Bob is smart. Charlie is white. Fiona is smart. If something is white and rough then it is red. Smart things are green.
Charlie is young.
@0: Bob is smart.[(triple1)] Charlie is white.[(triple2)] Fiona is smart.[(triple3)] @1: Bob is green.[(((triple1) -> rule2))] Fiona is green.[(((triple3) -> rule2))]