Anne is furry. Anne is nice. Anne is smart. Anne is young. Bob is smart. Bob is young. Charlie is blue. Charlie is smart. Gary is kind. Gary is smart. All furry people are blue. Furry, young people are smart. Kind, nice people are smart. All round people are furry. If someone is young then they are nice. If someone is nice then they are round. If Gary is furry and Gary is blue then Gary is young. Smart people are nice.
Charlie is not kind.
@0: Anne is furry.[(triple1 OR ((((triple2) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule6)) -> rule4) OR ((((((triple4) -> rule5)) -> rule6)) -> rule4))] Anne is nice.[(triple2 OR ((triple3) -> rule8) OR ((triple4) -> rule5) OR ((((triple1 triple4) -> rule2)) -> rule8))] Anne is smart.[(triple3 OR ((triple1 triple4) -> rule2) OR ((((((triple2) -> rule6)) -> rule4) triple4) -> rule2) OR ((((((((triple4) -> rule5)) -> rule6)) -> rule4) triple4) -> rule2))] Anne is young.[(triple4)] Bob is smart.[(triple5 OR ((((((((triple6) -> rule5)) -> rule6)) -> rule4) triple6) -> rule2))] Bob is young.[(triple6)] Charlie is blue.[(triple7 OR ((((((((triple8) -> rule8)) -> rule6)) -> rule4)) -> rule1))] Charlie is smart.[(triple8)] Gary is kind.[(triple9)] Gary is smart.[(triple10)] @1: Anne is blue.[(((triple1) -> rule1) OR ((((((triple2) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule5)) -> rule6)) -> rule4)) -> rule1))] Anne is round.[(((triple2) -> rule6) OR ((((triple3) -> rule8)) -> rule6) OR ((((triple4) -> rule5)) -> rule6) OR ((((((triple1 triple4) -> rule2)) -> rule8)) -> rule6))] Bob is nice.[(((triple5) -> rule8) OR ((triple6) -> rule5))] Charlie is nice.[(((triple8) -> rule8))] Gary is nice.[(((triple10) -> rule8))] @2: Bob is round.[(((((triple5) -> rule8)) -> rule6) OR ((((triple6) -> rule5)) -> rule6))] Charlie is round.[(((((triple8) -> rule8)) -> rule6))] Gary is round.[(((((triple10) -> rule8)) -> rule6))] @3: Bob is furry.[(((((((triple5) -> rule8)) -> rule6)) -> rule4) OR ((((((triple6) -> rule5)) -> rule6)) -> rule4))] Charlie is furry.[(((((((triple8) -> rule8)) -> rule6)) -> rule4))] Gary is furry.[(((((((triple10) -> rule8)) -> rule6)) -> rule4))] @4: Bob is blue.[(((((((((triple5) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule6)) -> rule4)) -> rule1))] Gary is blue.[(((((((((triple10) -> rule8)) -> rule6)) -> rule4)) -> rule1))] @5: Gary is young.[(((((((((triple10) -> rule8)) -> rule6)) -> rule4) ((((((((triple10) -> rule8)) -> rule6)) -> rule4)) -> rule1)) -> rule7))]