Bob is rough. Charlie is furry. Fiona is furry. Gary is kind. If someone is nice then they are rough. If someone is round then they are quiet. If Bob is rough then Bob is furry. All round people are quiet. All quiet, kind people are nice. If someone is kind and rough then they are green.
Charlie is not furry.
@0: Bob is rough.[(triple1)] Charlie is furry.[(triple2)] Fiona is furry.[(triple3)] Gary is kind.[(triple4)] @1: Bob is furry.[(((triple1) -> rule3))]