Bob is blue. Bob is not green. Bob is young. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is not young. Gary is blue. Gary is furry. Gary is not green. Gary is nice. Gary is rough. Gary is not smart. If Bob is blue and Bob is furry then Bob is not smart. All young things are blue.
Gary is not young.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule2))] Bob is not green.[(triple2)] Bob is young.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Erin is not young.[(triple9)] Erin is rough.[(triple8)] Gary is blue.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple13)] Gary is not green.[(triple12)] Gary is not smart.[(triple15)] Gary is rough.[(triple14)]