Charlie is round. Charlie is young. Fiona is white. If something is young and not white then it is rough. If Fiona is young and Fiona is furry then Fiona is kind. If Fiona is not young then Fiona is kind. Smart things are furry. If Charlie is smart then Charlie is young. Young things are kind. If Charlie is not white then Charlie is not rough. If something is smart and not rough then it is round.
Charlie is smart.
@0: Charlie is round.[(triple1)] Charlie is young.[(triple2)] Fiona is white.[(triple3)] @1: Charlie is kind.[(((triple2) -> rule6))]