Anne is blue. Anne is red. Anne is white. Furry, blue people are young. If someone is blue and smart then they are furry. All blue people are furry. If someone is young then they are red. If Anne is young and Anne is blue then Anne is white. If Anne is smart then Anne is red. Young, white people are smart. All furry people are big.
Anne is not young.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2 OR ((((((triple1) -> rule3) triple1) -> rule1)) -> rule4) OR ((((((((triple1) -> rule3) triple1) -> rule1) triple3) -> rule7)) -> rule6) OR ((((((((triple1) -> rule3) triple1) -> rule1) ((((((triple1) -> rule3) triple1) -> rule1) triple1) -> rule5)) -> rule7)) -> rule6))] Anne is white.[(triple3 OR ((((((triple1) -> rule3) triple1) -> rule1) triple1) -> rule5))] @1: Anne is furry.[(((triple1) -> rule3))] @2: Anne is big.[(((((triple1) -> rule3)) -> rule8))] Anne is young.[(((((triple1) -> rule3) triple1) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule3) triple1) -> rule1) triple3) -> rule7) OR ((((((triple1) -> rule3) triple1) -> rule1) ((((((triple1) -> rule3) triple1) -> rule1) triple1) -> rule5)) -> rule7))]