Bob is red. Bob is rough. Erin is furry. Erin is green. Erin is nice. Erin is rough. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is young. All red, green people are furry. Rough, young people are nice. If Bob is rough then Bob is blue.
Gary is furry.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8 OR ((triple11 triple9) -> rule1))] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)] @1: Bob is blue.[(((triple2) -> rule3))]