Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is young. If Bob is green and Bob is kind then Bob is smart. Smart, quiet things are rough. Rough, green things are furry. Smart things are furry. Quiet things are smart. If something is green then it is quiet. If Bob is rough then Bob is smart. Kind things are quiet.
Bob is not furry.
@0: Bob is furry.[(triple1 OR ((triple6) -> rule4) OR ((triple5 triple2) -> rule3) OR ((((triple4) -> rule5)) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((((triple2 triple3) -> rule1)) -> rule4) OR ((((triple6 triple4) -> rule2) triple2) -> rule3) OR ((((((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5)) -> rule4) OR ((((triple6 ((triple2) -> rule6)) -> rule2) triple2) -> rule3) OR ((((triple6 ((triple3) -> rule8)) -> rule2) triple2) -> rule3) OR ((((((triple4) -> rule5) triple4) -> rule2) triple2) -> rule3) OR ((((((triple2 triple3) -> rule1) triple4) -> rule2) triple2) -> rule3) OR ((((((triple4) -> rule5) ((triple2) -> rule6)) -> rule2) triple2) -> rule3) OR ((((((triple4) -> rule5) ((triple3) -> rule8)) -> rule2) triple2) -> rule3) OR ((((((triple2 triple3) -> rule1) ((triple2) -> rule6)) -> rule2) triple2) -> rule3) OR ((((((triple2 triple3) -> rule1) ((triple3) -> rule8)) -> rule2) triple2) -> rule3) OR ((((((((triple2) -> rule6)) -> rule5) triple4) -> rule2) triple2) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple4) -> rule2) triple2) -> rule3) OR ((((((((triple2) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule2) triple2) -> rule3) OR ((((((((triple2) -> rule6)) -> rule5) ((triple3) -> rule8)) -> rule2) triple2) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple2) -> rule6)) -> rule2) triple2) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule2) triple2) -> rule3))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple2) -> rule6) OR ((triple3) -> rule8))] Bob is rough.[(triple5 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple2) -> rule6)) -> rule2) OR ((triple6 ((triple3) -> rule8)) -> rule2) OR ((((triple4) -> rule5) triple4) -> rule2) OR ((((triple2 triple3) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule5) ((triple2) -> rule6)) -> rule2) OR ((((triple4) -> rule5) ((triple3) -> rule8)) -> rule2) OR ((((triple2 triple3) -> rule1) ((triple2) -> rule6)) -> rule2) OR ((((triple2 triple3) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) triple4) -> rule2) OR ((((((triple3) -> rule8)) -> rule5) triple4) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule8)) -> rule5) ((triple2) -> rule6)) -> rule2) OR ((((((triple3) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule2))] Bob is smart.[(triple6 OR ((triple4) -> rule5) OR ((triple5) -> rule7) OR ((triple2 triple3) -> rule1) OR ((((triple2) -> rule6)) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] Bob is young.[(triple7)]