Bob is big. Bob is green. Bob is kind. Bob is white. Bob is young. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is young. Big, kind things are young. If Dave is young then Dave is rough. If Bob is kind then Bob is furry. Young things are furry. Young things are kind. All green things are young.
Dave is white.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple5) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((triple2) -> rule6) OR ((triple1 triple3) -> rule1))] Dave is big.[(triple6)] Dave is furry.[(triple7 OR ((triple10) -> rule4) OR ((((triple8) -> rule6)) -> rule4) OR ((((triple6 triple9) -> rule1)) -> rule4))] Dave is green.[(triple8)] Dave is kind.[(triple9 OR ((triple10) -> rule5) OR ((((triple8) -> rule6)) -> rule5))] Dave is young.[(triple10 OR ((triple8) -> rule6) OR ((triple6 triple9) -> rule1))] @1: Bob is furry.[(((triple3) -> rule3) OR ((triple5) -> rule4) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple5) -> rule5)) -> rule3) OR ((((triple1 triple3) -> rule1)) -> rule4) OR ((((((triple2) -> rule6)) -> rule5)) -> rule3))] Dave is rough.[(((triple10) -> rule2) OR ((((triple8) -> rule6)) -> rule2) OR ((((triple6 triple9) -> rule1)) -> rule2))]