Bob is kind. Bob is white. Bob is young. Charlie is red. Charlie is white. Gary is kind. Gary is not young. If Gary is nice and Gary is white then Gary is blue. If something is young and not white then it is kind. Blue, white things are kind. If Bob is not nice then Bob is blue. Round things are red. If something is white and kind then it is blue. Kind things are blue. If Charlie is not young then Charlie is blue.
Bob is white.
@0: Bob is kind.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5)] Gary is kind.[(triple6)] Gary is not young.[(triple7)] @1: Bob is blue.[(((triple1) -> rule7) OR ((triple2 triple1) -> rule6))] Gary is blue.[(((triple6) -> rule7))]