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