Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is round. If Anne is quiet then Anne is furry. Nice, furry things are red. All red things are rough. Nice, blue things are red. Round things are nice. If something is blue then it is nice. All quiet, nice things are blue. If Anne is red and Anne is rough then Anne is nice.
Anne is not quiet.
@0: Anne is blue.[(triple1 OR ((triple4 triple3) -> rule7) OR ((triple4 ((triple7) -> rule5)) -> rule7) OR ((triple4 ((triple5 triple6) -> rule8)) -> rule7) OR ((triple4 ((triple5 ((triple5) -> rule3)) -> rule8)) -> rule7))] Anne is furry.[(triple2 OR ((triple4) -> rule1))] Anne is nice.[(triple3 OR ((triple1) -> rule6) OR ((triple7) -> rule5) OR ((triple5 triple6) -> rule8) OR ((triple5 ((triple5) -> rule3)) -> rule8))] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple3 triple1) -> rule4) OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple4) -> rule1)) -> rule2) OR ((triple3 ((triple4 triple3) -> rule7)) -> rule4) OR ((((triple1) -> rule6) triple1) -> rule4) OR ((((triple1) -> rule6) triple2) -> rule2) OR ((((triple7) -> rule5) triple1) -> rule4) OR ((((triple7) -> rule5) triple2) -> rule2) OR ((((triple1) -> rule6) ((triple4) -> rule1)) -> rule2) OR ((((triple1) -> rule6) ((triple4 triple3) -> rule7)) -> rule4) OR ((((triple7) -> rule5) ((triple4) -> rule1)) -> rule2) OR ((((triple7) -> rule5) ((triple4 triple3) -> rule7)) -> rule4) OR ((triple3 ((triple4 ((triple7) -> rule5)) -> rule7)) -> rule4) OR ((((triple1) -> rule6) ((triple4 ((triple7) -> rule5)) -> rule7)) -> rule4) OR ((((triple7) -> rule5) ((triple4 ((triple7) -> rule5)) -> rule7)) -> rule4))] Anne is rough.[(triple6 OR ((triple5) -> rule3) OR ((((triple3 triple1) -> rule4)) -> rule3) OR ((((triple3 triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple4) -> rule1)) -> rule2)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule7)) -> rule4)) -> rule3) OR ((((((triple1) -> rule6) triple1) -> rule4)) -> rule3) OR ((((((triple1) -> rule6) triple2) -> rule2)) -> rule3) OR ((((((triple7) -> rule5) triple1) -> rule4)) -> rule3) OR ((((((triple7) -> rule5) triple2) -> rule2)) -> rule3) OR ((((((triple1) -> rule6) ((triple4) -> rule1)) -> rule2)) -> rule3) OR ((((((triple1) -> rule6) ((triple4 triple3) -> rule7)) -> rule4)) -> rule3) OR ((((((triple7) -> rule5) ((triple4) -> rule1)) -> rule2)) -> rule3) OR ((((((triple7) -> rule5) ((triple4 triple3) -> rule7)) -> rule4)) -> rule3) OR ((((triple3 ((triple4 ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((triple1) -> rule6) ((triple4 ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((triple7) -> rule5) ((triple4 ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule3))] Anne is round.[(triple7)]