Bob is kind. Bob is not nice. Gary is green. Gary is not kind. Gary is round. Harry is green. Harry is nice. If Bob is green and Bob is not nice then Bob is kind. If Bob is smart then Bob is kind. Green, nice things are kind. All nice things are kind. If something is kind then it is rough. If something is green then it is rough. If something is smart then it is not green. All smart things are blue.
Gary is kind.
@0: Bob is kind.[(triple1)] Bob is not nice.[(triple2)] Gary is green.[(triple3)] Gary is not kind.[(triple4)] Gary is round.[(triple5)] Harry is green.[(triple6)] Harry is nice.[(triple7)] @1: Bob is rough.[(((triple1) -> rule5))] Gary is rough.[(((triple3) -> rule6))] Harry is kind.[(((triple7) -> rule4) OR ((triple6 triple7) -> rule3))] Harry is rough.[(((triple6) -> rule6) OR ((((triple7) -> rule4)) -> rule5) OR ((((triple6 triple7) -> rule3)) -> rule5))]