Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is round. Cold, kind people are furry. If Anne is blue then Anne is rough. If someone is round then they are rough. If someone is blue and rough then they are cold. If someone is cold and kind then they are round. Rough, furry people are big.
Anne is rough.
@0: Anne is big.[(triple1 OR ((triple6 triple4) -> rule6) OR ((triple6 ((triple3 triple5) -> rule1)) -> rule6) OR ((((triple2) -> rule2) triple4) -> rule6) OR ((((triple7) -> rule3) triple4) -> rule6) OR ((((triple2) -> rule2) ((triple3 triple5) -> rule1)) -> rule6) OR ((((triple7) -> rule3) ((triple3 triple5) -> rule1)) -> rule6) OR ((triple6 ((((triple2 triple6) -> rule4) triple5) -> rule1)) -> rule6) OR ((((((triple3 triple5) -> rule5)) -> rule3) triple4) -> rule6) OR ((((triple2) -> rule2) ((((triple2 triple6) -> rule4) triple5) -> rule1)) -> rule6) OR ((((triple7) -> rule3) ((((triple2 triple6) -> rule4) triple5) -> rule1)) -> rule6) OR ((((((triple3 triple5) -> rule5)) -> rule3) ((triple3 triple5) -> rule1)) -> rule6) OR ((((((triple3 triple5) -> rule5)) -> rule3) ((((triple2 triple6) -> rule4) triple5) -> rule1)) -> rule6) OR ((triple6 ((((triple2 ((triple2) -> rule2)) -> rule4) triple5) -> rule1)) -> rule6) OR ((triple6 ((((triple2 ((triple7) -> rule3)) -> rule4) triple5) -> rule1)) -> rule6) OR ((((triple2) -> rule2) ((((triple2 ((triple2) -> rule2)) -> rule4) triple5) -> rule1)) -> rule6) OR ((((triple2) -> rule2) ((((triple2 ((triple7) -> rule3)) -> rule4) triple5) -> rule1)) -> rule6) OR ((((triple7) -> rule3) ((((triple2 ((triple2) -> rule2)) -> rule4) triple5) -> rule1)) -> rule6) OR ((((triple7) -> rule3) ((((triple2 ((triple7) -> rule3)) -> rule4) triple5) -> rule1)) -> rule6) OR ((((((triple3 triple5) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule2)) -> rule4) triple5) -> rule1)) -> rule6) OR ((((((triple3 triple5) -> rule5)) -> rule3) ((((triple2 ((triple7) -> rule3)) -> rule4) triple5) -> rule1)) -> rule6))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple2 triple6) -> rule4) OR ((triple2 ((triple2) -> rule2)) -> rule4) OR ((triple2 ((triple7) -> rule3)) -> rule4))] Anne is furry.[(triple4 OR ((triple3 triple5) -> rule1) OR ((((triple2 triple6) -> rule4) triple5) -> rule1) OR ((((triple2 ((triple2) -> rule2)) -> rule4) triple5) -> rule1) OR ((((triple2 ((triple7) -> rule3)) -> rule4) triple5) -> rule1))] Anne is kind.[(triple5)] Anne is rough.[(triple6 OR ((triple2) -> rule2) OR ((triple7) -> rule3) OR ((((triple3 triple5) -> rule5)) -> rule3))] Anne is round.[(triple7 OR ((triple3 triple5) -> rule5) OR ((((triple2 triple6) -> rule4) triple5) -> rule5) OR ((((triple2 ((triple2) -> rule2)) -> rule4) triple5) -> rule5))]