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