Anne is green. Anne is nice. Anne is red. Anne is rough. Bob is green. Bob is kind. Bob is red. Bob is young. Gary is furry. Gary is nice. Gary is red. Gary is young. If Bob is kind and Bob is furry then Bob is green. Nice, green things are rough.
Anne is furry.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple2 triple1) -> rule2))] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is red.[(triple7)] Bob is young.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)]