Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is smart. Anne is young. All cold people are big. If someone is blue and nice then they are cold. If someone is cold and young then they are furry. If someone is cold and furry then they are nice. All smart, cold people are young. If someone is smart and nice then they are cold.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1) OR ((((triple2 triple5) -> rule2)) -> rule1) OR ((((triple6 triple5) -> rule6)) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple2 triple5) -> rule2) OR ((triple6 triple5) -> rule6))] Anne is furry.[(triple4 OR ((triple3 triple7) -> rule3) OR ((triple3 ((triple6 triple3) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule2) triple7) -> rule3) OR ((((triple6 triple5) -> rule6) triple7) -> rule3) OR ((((triple2 triple5) -> rule2) ((triple6 triple3) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6) ((triple6 triple3) -> rule5)) -> rule3) OR ((triple3 ((triple6 ((triple2 triple5) -> rule2)) -> rule5)) -> rule3) OR ((triple3 ((triple6 ((triple6 triple5) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule2) ((triple6 ((triple2 triple5) -> rule2)) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule2) ((triple6 ((triple6 triple5) -> rule6)) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6) ((triple6 ((triple2 triple5) -> rule2)) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6) ((triple6 ((triple6 triple5) -> rule6)) -> rule5)) -> rule3))] Anne is nice.[(triple5 OR ((triple3 triple4) -> rule4) OR ((triple3 ((triple3 triple7) -> rule3)) -> rule4) OR ((triple3 ((triple3 ((triple6 triple3) -> rule5)) -> rule3)) -> rule4))] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple2 triple5) -> rule2)) -> rule5) OR ((triple6 ((triple6 triple5) -> rule6)) -> rule5))]