Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is not nice. Bob is smart. Bob is young. If Bob is big and Bob is smart then Bob is green. All big people are smart. If someone is kind and not smart then they are young. Young people are blue. Nice people are blue. All young people are blue.
Bob is smart.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple7) -> rule4) OR ((triple7) -> rule6))] Bob is green.[(triple3 OR ((triple1 triple6) -> rule1) OR ((triple1 ((triple1) -> rule2)) -> rule1))] Bob is kind.[(triple4)] Bob is not nice.[(triple5)] Bob is smart.[(triple6 OR ((triple1) -> rule2))] Bob is young.[(triple7)]