Bob is big. Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is smart. Bob is not young. Erin is big. Erin is blue. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is young. All green, smart people are rough. Smart, blue people are rough. If someone is green and not young then they are rough.
Bob is not rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple3 triple6) -> rule1) OR ((triple3 triple7) -> rule3) OR ((triple6 triple2) -> rule2))] Bob is smart.[(triple6)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is green.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12 OR ((triple10 triple13) -> rule1) OR ((triple13 triple9) -> rule2))] Erin is smart.[(triple13)] Erin is young.[(triple14)]