Anne is kind. Anne is quiet. Anne is round. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. If something is nice and kind then it is young. Furry things are kind. If Anne is furry then Anne is quiet. Smart things are nice. Furry things are quiet. All quiet things are furry. All nice things are furry. If something is kind then it is smart.
Anne is not furry.
@0: Anne is kind.[(triple1 OR ((((triple2) -> rule6)) -> rule2))] Anne is quiet.[(triple2 OR ((((((((triple1) -> rule8)) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule7)) -> rule5))] Anne is round.[(triple3)] Charlie is furry.[(triple4 OR ((triple6) -> rule7) OR ((triple7) -> rule6) OR ((((triple9) -> rule4)) -> rule7) OR ((((((triple5) -> rule8)) -> rule4)) -> rule7))] Charlie is kind.[(triple5 OR ((triple4) -> rule2) OR ((((triple6) -> rule7)) -> rule2) OR ((((triple7) -> rule6)) -> rule2) OR ((((((triple9) -> rule4)) -> rule7)) -> rule2))] Charlie is nice.[(triple6 OR ((triple9) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule8)) -> rule4))] Charlie is quiet.[(triple7 OR ((triple4) -> rule5) OR ((((triple6) -> rule7)) -> rule5) OR ((((((triple9) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4)) -> rule7)) -> rule5))] Charlie is round.[(triple8)] Charlie is smart.[(triple9 OR ((triple5) -> rule8) OR ((((triple4) -> rule2)) -> rule8) OR ((((((triple6) -> rule7)) -> rule2)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2)) -> rule8))] Charlie is young.[(triple10 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple4) -> rule2)) -> rule1) OR ((((triple9) -> rule4) triple5) -> rule1) OR ((((triple9) -> rule4) ((triple4) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule7)) -> rule2)) -> rule1) OR ((triple6 ((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((triple5) -> rule8)) -> rule4) triple5) -> rule1) OR ((((triple9) -> rule4) ((((triple6) -> rule7)) -> rule2)) -> rule1) OR ((((triple9) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((triple5) -> rule8)) -> rule4) ((triple4) -> rule2)) -> rule1) OR ((((((triple5) -> rule8)) -> rule4) ((((triple6) -> rule7)) -> rule2)) -> rule1) OR ((((((triple5) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((triple6 ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule2)) -> rule8)) -> rule4) triple5) -> rule1) OR ((((triple9) -> rule4) ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule2)) -> rule8)) -> rule4) ((triple4) -> rule2)) -> rule1) OR ((((((triple5) -> rule8)) -> rule4) ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule2)) -> rule8)) -> rule4) ((((triple6) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule2)) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule2)) -> rule8)) -> rule4) ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule8)) -> rule4) triple5) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule8)) -> rule4) ((triple4) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule8)) -> rule4) ((((triple6) -> rule7)) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule8)) -> rule4) ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule1))] @1: Anne is furry.[(((triple2) -> rule6) OR ((((((triple1) -> rule8)) -> rule4)) -> rule7))] Anne is smart.[(((triple1) -> rule8) OR ((((((triple2) -> rule6)) -> rule2)) -> rule8))] @2: Anne is nice.[(((((triple1) -> rule8)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule4))] @3: Anne is young.[(((((((triple1) -> rule8)) -> rule4) triple1) -> rule1) OR ((((((triple1) -> rule8)) -> rule4) ((((triple2) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule4) triple1) -> rule1) OR ((((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule4) ((((triple2) -> rule6)) -> rule2)) -> rule1))]