Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Anne is young. If something is blue then it is white. If Anne is quiet and Anne is white then Anne is furry. If something is furry then it is quiet. If Anne is furry then Anne is nice. All furry things are quiet. If Anne is kind then Anne is blue. All blue, kind things are furry. White things are young.
Anne is kind.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule6))] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule7) OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2) OR ((((triple3) -> rule6) triple3) -> rule7) OR ((triple5 ((((triple3) -> rule6)) -> rule1)) -> rule2))] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple2) -> rule4) OR ((((triple1 triple3) -> rule7)) -> rule4) OR ((((triple5 triple6) -> rule2)) -> rule4) OR ((((triple5 ((triple1) -> rule1)) -> rule2)) -> rule4) OR ((((((triple3) -> rule6) triple3) -> rule7)) -> rule4) OR ((((triple5 ((((triple3) -> rule6)) -> rule1)) -> rule2)) -> rule4))] Anne is quiet.[(triple5 OR ((triple2) -> rule3) OR ((triple2) -> rule5) OR ((((triple1 triple3) -> rule7)) -> rule3) OR ((((triple1 triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule7)) -> rule3) OR ((((((triple3) -> rule6) triple3) -> rule7)) -> rule5))] Anne is white.[(triple6 OR ((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] Anne is young.[(triple7 OR ((triple6) -> rule8) OR ((((triple1) -> rule1)) -> rule8) OR ((((((triple3) -> rule6)) -> rule1)) -> rule8))]