Bob is blue. Bob is kind. Bob is rough. Bob is white. Bob is young. Dave is kind. Dave is nice. Dave is red. Gary is red. Gary is white. If someone is white and rough then they are red. Rough, white people are young. If Gary is white and Gary is rough then Gary is young. If someone is blue then they are kind. All blue, kind people are young. All red, kind people are rough. If Gary is young then Gary is kind. All white, red people are rough.
Bob is red.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2 OR ((triple1) -> rule4))] Bob is rough.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((triple1 triple2) -> rule5) OR ((triple3 triple4) -> rule2) OR ((triple1 ((triple1) -> rule4)) -> rule5))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Bob is red.[(((triple4 triple3) -> rule1))] Dave is rough.[(((triple8 triple6) -> rule6))] Gary is rough.[(((triple10 triple9) -> rule8))] @2: Gary is young.[(((triple10 ((triple10 triple9) -> rule8)) -> rule3) OR ((((triple10 triple9) -> rule8) triple10) -> rule2))] @3: Gary is kind.[(((((triple10 ((triple10 triple9) -> rule8)) -> rule3)) -> rule7) OR ((((((triple10 triple9) -> rule8) triple10) -> rule2)) -> rule7))]