Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is white. All round people are red. If someone is nice and round then they are quiet. If Anne is smart then Anne is round. All round, white people are cold. If someone is red and quiet then they are cold. If someone is white then they are round. If Anne is round then Anne is white. All smart people are round.
Anne is smart.
@0: Anne is cold.[(triple1 OR ((triple4 triple3) -> rule5) OR ((triple5 triple7) -> rule4) OR ((triple4 ((triple2 triple5) -> rule2)) -> rule5) OR ((triple5 ((triple5) -> rule7)) -> rule4) OR ((((triple5) -> rule1) triple3) -> rule5) OR ((((triple6) -> rule3) triple7) -> rule4) OR ((((triple6) -> rule8) triple7) -> rule4) OR ((((triple7) -> rule6) triple7) -> rule4) OR ((((triple5) -> rule1) ((triple2 triple5) -> rule2)) -> rule5) OR ((((triple6) -> rule3) ((triple5) -> rule7)) -> rule4) OR ((((triple6) -> rule8) ((triple5) -> rule7)) -> rule4) OR ((((triple7) -> rule6) ((triple5) -> rule7)) -> rule4) OR ((triple4 ((triple2 ((triple6) -> rule3)) -> rule2)) -> rule5) OR ((triple4 ((triple2 ((triple6) -> rule8)) -> rule2)) -> rule5) OR ((triple4 ((triple2 ((triple7) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple6) -> rule3)) -> rule7)) -> rule4) OR ((triple5 ((((triple6) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule3)) -> rule1) triple3) -> rule5) OR ((((((triple6) -> rule8)) -> rule1) triple3) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) triple3) -> rule5) OR ((((triple5) -> rule1) ((triple2 ((triple6) -> rule3)) -> rule2)) -> rule5) OR ((((triple5) -> rule1) ((triple2 ((triple6) -> rule8)) -> rule2)) -> rule5) OR ((((triple5) -> rule1) ((triple2 ((triple7) -> rule6)) -> rule2)) -> rule5) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule7)) -> rule4) OR ((((triple6) -> rule3) ((((triple6) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule8) ((((triple6) -> rule3)) -> rule7)) -> rule4) OR ((((triple6) -> rule8) ((((triple6) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule6) ((((triple6) -> rule3)) -> rule7)) -> rule4) OR ((((triple7) -> rule6) ((((triple6) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule3)) -> rule1) ((triple2 triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule8)) -> rule1) ((triple2 triple5) -> rule2)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) ((triple2 triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule3)) -> rule1) ((triple2 ((triple6) -> rule3)) -> rule2)) -> rule5) OR ((((((triple6) -> rule3)) -> rule1) ((triple2 ((triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((triple6) -> rule3)) -> rule1) ((triple2 ((triple7) -> rule6)) -> rule2)) -> rule5) OR ((((((triple6) -> rule8)) -> rule1) ((triple2 ((triple6) -> rule3)) -> rule2)) -> rule5) OR ((((((triple6) -> rule8)) -> rule1) ((triple2 ((triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((triple6) -> rule8)) -> rule1) ((triple2 ((triple7) -> rule6)) -> rule2)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) ((triple2 ((triple6) -> rule3)) -> rule2)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) ((triple2 ((triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) ((triple2 ((triple7) -> rule6)) -> rule2)) -> rule5))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple6) -> rule3)) -> rule2) OR ((triple2 ((triple6) -> rule8)) -> rule2) OR ((triple2 ((triple7) -> rule6)) -> rule2))] Anne is red.[(triple4 OR ((triple5) -> rule1) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple6) -> rule8)) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] Anne is round.[(triple5 OR ((triple6) -> rule3) OR ((triple6) -> rule8) OR ((triple7) -> rule6))] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple5) -> rule7) OR ((((triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule8)) -> rule7))]