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