Bob is not blue. Bob is young. Gary is young. If someone is big then they are rough. If someone is kind and blue then they are not rough. If Bob is young then Bob is red. All blue people are quiet. If Gary is red then Gary is kind. If Gary is young and Gary is red then Gary is kind.
Bob is kind.
@0: Bob is not blue.[(triple1)] Bob is young.[(triple2)] Gary is young.[(triple3)] @1: Bob is red.[(((triple2) -> rule3))]