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