Anne is furry. Anne is green. Anne is kind. Anne is round. Anne is smart. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is round. Bob is smart. Bob is young. If something is smart and green then it is furry. If something is furry and smart then it is kind. If something is kind and rough then it is round. If something is kind and rough then it is young. All smart, green things are young. Kind things are rough.
Anne is not kind.
@0: Anne is furry.[(triple1 OR ((triple5 triple2) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple1 triple5) -> rule2) OR ((((triple5 triple2) -> rule1) triple5) -> rule2))] Anne is round.[(triple4 OR ((triple3 ((triple3) -> rule6)) -> rule3) OR ((((triple1 triple5) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((triple3 ((((triple1 triple5) -> rule2)) -> rule6)) -> rule3) OR ((((triple1 triple5) -> rule2) ((((triple1 triple5) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule1) triple5) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule1) triple5) -> rule2) ((((triple1 triple5) -> rule2)) -> rule6)) -> rule3) OR ((triple3 ((((((triple5 triple2) -> rule1) triple5) -> rule2)) -> rule6)) -> rule3) OR ((((triple1 triple5) -> rule2) ((((((triple5 triple2) -> rule1) triple5) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule1) triple5) -> rule2) ((((((triple5 triple2) -> rule1) triple5) -> rule2)) -> rule6)) -> rule3))] Anne is smart.[(triple5)] Bob is furry.[(triple6 OR ((triple11 triple7) -> rule1))] Bob is green.[(triple7)] Bob is kind.[(triple8 OR ((triple6 triple11) -> rule2) OR ((((triple11 triple7) -> rule1) triple11) -> rule2))] Bob is rough.[(triple9 OR ((triple8) -> rule6) OR ((((triple6 triple11) -> rule2)) -> rule6) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2)) -> rule6))] Bob is round.[(triple10 OR ((triple8 triple9) -> rule3) OR ((triple8 ((triple8) -> rule6)) -> rule3) OR ((((triple6 triple11) -> rule2) triple9) -> rule3) OR ((((triple6 triple11) -> rule2) ((triple8) -> rule6)) -> rule3) OR ((triple8 ((((triple6 triple11) -> rule2)) -> rule6)) -> rule3) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) triple9) -> rule3) OR ((((triple6 triple11) -> rule2) ((((triple6 triple11) -> rule2)) -> rule6)) -> rule3) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) ((triple8) -> rule6)) -> rule3) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) ((((triple6 triple11) -> rule2)) -> rule6)) -> rule3) OR ((triple8 ((((((triple11 triple7) -> rule1) triple11) -> rule2)) -> rule6)) -> rule3) OR ((((triple6 triple11) -> rule2) ((((((triple11 triple7) -> rule1) triple11) -> rule2)) -> rule6)) -> rule3) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) ((((((triple11 triple7) -> rule1) triple11) -> rule2)) -> rule6)) -> rule3))] Bob is smart.[(triple11)] Bob is young.[(triple12 OR ((triple11 triple7) -> rule5) OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple8) -> rule6)) -> rule4) OR ((((triple6 triple11) -> rule2) triple9) -> rule4) OR ((((triple6 triple11) -> rule2) ((triple8) -> rule6)) -> rule4) OR ((triple8 ((((triple6 triple11) -> rule2)) -> rule6)) -> rule4) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) triple9) -> rule4) OR ((((triple6 triple11) -> rule2) ((((triple6 triple11) -> rule2)) -> rule6)) -> rule4) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) ((triple8) -> rule6)) -> rule4) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) ((((triple6 triple11) -> rule2)) -> rule6)) -> rule4) OR ((triple8 ((((((triple11 triple7) -> rule1) triple11) -> rule2)) -> rule6)) -> rule4) OR ((((triple6 triple11) -> rule2) ((((((triple11 triple7) -> rule1) triple11) -> rule2)) -> rule6)) -> rule4) OR ((((((triple11 triple7) -> rule1) triple11) -> rule2) ((((((triple11 triple7) -> rule1) triple11) -> rule2)) -> rule6)) -> rule4))] @1: Anne is rough.[(((triple3) -> rule6) OR ((((triple1 triple5) -> rule2)) -> rule6) OR ((((((triple5 triple2) -> rule1) triple5) -> rule2)) -> rule6))] Anne is young.[(((triple5 triple2) -> rule5) OR ((triple3 ((triple3) -> rule6)) -> rule4) OR ((((triple1 triple5) -> rule2) ((triple3) -> rule6)) -> rule4) OR ((triple3 ((((triple1 triple5) -> rule2)) -> rule6)) -> rule4) OR ((((triple1 triple5) -> rule2) ((((triple1 triple5) -> rule2)) -> rule6)) -> rule4) OR ((((((triple5 triple2) -> rule1) triple5) -> rule2) ((triple3) -> rule6)) -> rule4) OR ((((((triple5 triple2) -> rule1) triple5) -> rule2) ((((triple1 triple5) -> rule2)) -> rule6)) -> rule4) OR ((triple3 ((((((triple5 triple2) -> rule1) triple5) -> rule2)) -> rule6)) -> rule4) OR ((((triple1 triple5) -> rule2) ((((((triple5 triple2) -> rule1) triple5) -> rule2)) -> rule6)) -> rule4) OR ((((((triple5 triple2) -> rule1) triple5) -> rule2) ((((((triple5 triple2) -> rule1) triple5) -> rule2)) -> rule6)) -> rule4))]