Bob is furry. Bob is kind. Bob is rough. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Dave is blue. Dave is kind. Dave is smart. Big things are blue. All rough things are big. If something is kind then it is big. All blue things are smart. If something is rough then it is kind. All smart things are big.
Bob is not big.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule5))] Bob is rough.[(triple3)] Charlie is big.[(triple4 OR ((triple8) -> rule3) OR ((triple9) -> rule6) OR ((((triple5) -> rule4)) -> rule6))] Charlie is blue.[(triple5 OR ((triple4) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((triple9) -> rule6)) -> rule1))] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is smart.[(triple9 OR ((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule4) OR ((((((triple8) -> rule3)) -> rule1)) -> rule4))] Dave is blue.[(triple10 OR ((((triple11) -> rule3)) -> rule1) OR ((((triple12) -> rule6)) -> rule1))] Dave is kind.[(triple11)] Dave is smart.[(triple12 OR ((triple10) -> rule4) OR ((((((triple11) -> rule3)) -> rule1)) -> rule4))] @1: Bob is big.[(((triple2) -> rule3) OR ((triple3) -> rule2) OR ((((triple3) -> rule5)) -> rule3))] Dave is big.[(((triple11) -> rule3) OR ((triple12) -> rule6) OR ((((triple10) -> rule4)) -> rule6))] @2: Bob is blue.[(((((triple2) -> rule3)) -> rule1) OR ((((triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule5)) -> rule3)) -> rule1))] @3: Bob is smart.[(((((((triple2) -> rule3)) -> rule1)) -> rule4) OR ((((((triple3) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule3)) -> rule1)) -> rule4))]