Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is young. If someone is smart then they are blue. If Anne is young then Anne is quiet. All kind people are quiet. All quiet people are smart. Quiet people are blue. Blue people are young. If Anne is young and Anne is blue then Anne is quiet. Rough, young people are kind.
Anne is not smart.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule5) OR ((triple6) -> rule1) OR ((((triple3) -> rule3)) -> rule5) OR ((((triple4) -> rule4)) -> rule1) OR ((((triple7) -> rule2)) -> rule5) OR ((((((triple3) -> rule3)) -> rule4)) -> rule1) OR ((((((triple7) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5 triple7) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple5 triple7) -> rule8)) -> rule3)) -> rule4)) -> rule1))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple5 triple7) -> rule8) OR ((triple5 ((triple1) -> rule6)) -> rule8) OR ((triple5 ((((triple4) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((((triple6) -> rule1)) -> rule6)) -> rule8) OR ((triple5 ((((((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule8))] Anne is quiet.[(triple4 OR ((triple3) -> rule3) OR ((triple7) -> rule2) OR ((triple7 triple1) -> rule7) OR ((((triple1) -> rule6)) -> rule2) OR ((((triple5 triple7) -> rule8)) -> rule3) OR ((triple7 ((triple6) -> rule1)) -> rule7) OR ((((triple1) -> rule6) triple1) -> rule7) OR ((((triple1) -> rule6) ((triple6) -> rule1)) -> rule7) OR ((((((triple6) -> rule1)) -> rule6)) -> rule2) OR ((((triple5 ((triple1) -> rule6)) -> rule8)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) triple1) -> rule7) OR ((((((triple6) -> rule1)) -> rule6) ((triple6) -> rule1)) -> rule7) OR ((((triple5 ((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule3))] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple4) -> rule4) OR ((((triple3) -> rule3)) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((triple7 triple1) -> rule7)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple5 triple7) -> rule8)) -> rule3)) -> rule4) OR ((((((triple1) -> rule6) triple1) -> rule7)) -> rule4) OR ((((((triple5 ((triple1) -> rule6)) -> rule8)) -> rule3)) -> rule4))] Anne is young.[(triple7 OR ((triple1) -> rule6) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple6) -> rule1)) -> rule6) OR ((((((triple3) -> rule3)) -> rule5)) -> rule6) OR ((((((triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule1)) -> rule6))]