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