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