Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is young. Charlie is not blue. Charlie is nice. Charlie is not rough. Charlie is young. Dave is blue. Dave is furry. Dave is nice. Dave is smart. If something is young and smart then it is quiet. If something is quiet and not furry then it is not rough. If something is quiet then it is rough. All smart, blue things are rough. If Dave is blue and Dave is not furry then Dave is not young. All furry things are blue. Quiet things are young. Rough things are young.
Charlie is not quiet.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule6))] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple7 triple6) -> rule1) OR ((((triple5) -> rule8) triple6) -> rule1) OR ((((((triple6 triple1) -> rule4)) -> rule8) triple6) -> rule1) OR ((((((triple6 ((triple2) -> rule6)) -> rule4)) -> rule8) triple6) -> rule1))] Bob is rough.[(triple5 OR ((triple4) -> rule3) OR ((triple6 triple1) -> rule4) OR ((((triple7 triple6) -> rule1)) -> rule3) OR ((triple6 ((triple2) -> rule6)) -> rule4))] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple4) -> rule7) OR ((triple5) -> rule8) OR ((((triple4) -> rule3)) -> rule8) OR ((((triple6 triple1) -> rule4)) -> rule8) OR ((((triple6 ((triple2) -> rule6)) -> rule4)) -> rule8))] Charlie is nice.[(triple9)] Charlie is not blue.[(triple8)] Charlie is not rough.[(triple10)] Charlie is young.[(triple11)] Dave is blue.[(triple12 OR ((triple13) -> rule6))] Dave is furry.[(triple13)] Dave is nice.[(triple14)] Dave is smart.[(triple15)] @1: Dave is rough.[(((triple15 triple12) -> rule4) OR ((triple15 ((triple13) -> rule6)) -> rule4))] @2: Dave is young.[(((((triple15 triple12) -> rule4)) -> rule8) OR ((((triple15 ((triple13) -> rule6)) -> rule4)) -> rule8))] @3: Dave is quiet.[(((((((triple15 triple12) -> rule4)) -> rule8) triple15) -> rule1) OR ((((((triple15 ((triple13) -> rule6)) -> rule4)) -> rule8) triple15) -> rule1))]