Bob is smart. Charlie is red. Erin is kind. Fiona is round. Young things are not rough. If Erin is young and Erin is rough then Erin is not round. All young things are kind. If something is young then it is not round. If something is round and rough then it is not red. If something is kind and rough then it is not green. Red things are green. If Bob is smart and Bob is not round then Bob is red.
Fiona is smart.
@0: Bob is smart.[(triple1)] Charlie is red.[(triple2)] Erin is kind.[(triple3)] Fiona is round.[(triple4)] @1: Charlie is green.[(((triple2) -> rule7))]