Charlie is nice. Fiona is white. All nice, young things are smart. Nice things are young. Nice, young things are not rough. If Fiona is nice then Fiona is young. All smart, nice things are white. If Fiona is kind and Fiona is not nice then Fiona is rough.
Charlie is white.
@0: Charlie is nice.[(triple1)] Fiona is white.[(triple2)] @1: Charlie is young.[(((triple1) -> rule2))] @2: Charlie is not rough.[(((triple1 ((triple1) -> rule2)) -> rule3))] Charlie is smart.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: Charlie is white.[(((((triple1 ((triple1) -> rule2)) -> rule1) triple1) -> rule5))]