Bob is kind. Fiona is not white. Gary is smart. Green people are not smart. All nice, white people are not kind. If someone is green and white then they are kind. If Bob is rough and Bob is nice then Bob is smart. Smart people are not quiet. If someone is white and not nice then they are not green. All quiet, nice people are white. If Gary is smart then Gary is kind.
Bob is quiet.
@0: Bob is kind.[(triple1)] Fiona is not white.[(triple2)] Gary is smart.[(triple3)] @1: Gary is kind.[(((triple3) -> rule8))] Gary is not quiet.[(((triple3) -> rule5))]