Anne is blue. Anne is furry. Anne is smart. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. All red, quiet people are smart. All blue, young people are white. If Anne is red and Anne is white then Anne is quiet. Young, smart people are red. Furry people are quiet. All quiet, smart people are young.
Anne is not young.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is quiet.[(triple6 OR ((triple5) -> rule5))] Bob is red.[(triple7 OR ((triple10 triple8) -> rule4) OR ((((triple6 triple8) -> rule6) triple8) -> rule4) OR ((((((triple5) -> rule5) triple8) -> rule6) triple8) -> rule4))] Bob is smart.[(triple8 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple5) -> rule5)) -> rule1))] Bob is white.[(triple9 OR ((triple4 triple10) -> rule2) OR ((triple4 ((triple6 triple8) -> rule6)) -> rule2) OR ((triple4 ((triple6 ((triple7 triple6) -> rule1)) -> rule6)) -> rule2) OR ((triple4 ((((triple5) -> rule5) triple8) -> rule6)) -> rule2) OR ((triple4 ((((triple5) -> rule5) ((triple7 triple6) -> rule1)) -> rule6)) -> rule2) OR ((triple4 ((triple6 ((triple7 ((triple5) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((triple4 ((((triple5) -> rule5) ((triple7 ((triple5) -> rule5)) -> rule1)) -> rule6)) -> rule2))] Bob is young.[(triple10 OR ((triple6 triple8) -> rule6) OR ((triple6 ((triple7 triple6) -> rule1)) -> rule6) OR ((((triple5) -> rule5) triple8) -> rule6) OR ((((triple5) -> rule5) ((triple7 triple6) -> rule1)) -> rule6) OR ((triple6 ((triple7 ((triple5) -> rule5)) -> rule1)) -> rule6) OR ((((triple5) -> rule5) ((triple7 ((triple5) -> rule5)) -> rule1)) -> rule6))] @1: Anne is quiet.[(((triple2) -> rule5))] @2: Anne is young.[(((((triple2) -> rule5) triple3) -> rule6))] @3: Anne is red.[(((((((triple2) -> rule5) triple3) -> rule6) triple3) -> rule4))] Anne is white.[(((triple1 ((((triple2) -> rule5) triple3) -> rule6)) -> rule2))]