Bob is kind. Gary is cold. Gary is kind. Rough things are young. Kind, red things are young. If something is young and kind then it is rough. Cold, rough things are red. If something is cold and not kind then it is not red. All rough things are cold. If Bob is kind then Bob is rough. If Gary is not young and Gary is not red then Gary is nice.
Gary is red.
@0: Bob is kind.[(triple1)] Gary is cold.[(triple2)] Gary is kind.[(triple3)] @1: Bob is rough.[(((triple1) -> rule7))] @2: Bob is cold.[(((((triple1) -> rule7)) -> rule6))] Bob is young.[(((((triple1) -> rule7)) -> rule1) OR ((triple1 ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule7)) -> rule4)) -> rule2))] @3: Bob is red.[(((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule7)) -> rule4))]