Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is rough. Gary is blue. Gary is not cold. Gary is red. Gary is rough. If Bob is kind then Bob is blue. If someone is cold then they are green. All blue, rough people are green. Cold people are kind. All rough, green people are nice. Kind people are rough.
Bob is cold.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule1))] Bob is green.[(triple2 OR ((triple1 triple6) -> rule3) OR ((triple1 ((triple3) -> rule6)) -> rule3) OR ((((triple3) -> rule1) triple6) -> rule3) OR ((((triple3) -> rule1) ((triple3) -> rule6)) -> rule3))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple1 triple6) -> rule3)) -> rule5) OR ((((triple3) -> rule6) triple2) -> rule5) OR ((((triple3) -> rule6) ((triple1 triple6) -> rule3)) -> rule5) OR ((triple6 ((triple1 ((triple3) -> rule6)) -> rule3)) -> rule5) OR ((triple6 ((((triple3) -> rule1) triple6) -> rule3)) -> rule5) OR ((triple6 ((((triple3) -> rule1) ((triple3) -> rule6)) -> rule3)) -> rule5) OR ((((triple3) -> rule6) ((triple1 ((triple3) -> rule6)) -> rule3)) -> rule5) OR ((((triple3) -> rule6) ((((triple3) -> rule1) triple6) -> rule3)) -> rule5) OR ((((triple3) -> rule6) ((((triple3) -> rule1) ((triple3) -> rule6)) -> rule3)) -> rule5))] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple3) -> rule6))] Gary is blue.[(triple7)] Gary is not cold.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Gary is green.[(((triple7 triple10) -> rule3))] @2: Gary is nice.[(((triple10 ((triple7 triple10) -> rule3)) -> rule5))]