Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is rough. Bob is smart. Bob is young. If Bob is rough then Bob is green. If someone is blue then they are young. All rough people are blue.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple5) -> rule3))] Bob is green.[(triple3 OR ((triple5) -> rule1))] Bob is kind.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple2) -> rule2) OR ((((triple5) -> rule3)) -> rule2))]