Charlie is young. Fiona is young. Harry is white. Young things are red. Rough, red things are nice. All smart things are not nice. If Harry is not smart then Harry is green. If Charlie is rough then Charlie is not smart. If Fiona is young then Fiona is rough.
Harry is white.
@0: Charlie is young.[(triple1)] Fiona is young.[(triple2)] Harry is white.[(triple3)] @1: Charlie is red.[(((triple1) -> rule1))] Fiona is red.[(((triple2) -> rule1))] Fiona is rough.[(((triple2) -> rule6))] @2: Fiona is nice.[(((((triple2) -> rule6) ((triple2) -> rule1)) -> rule2))]