Anne is big. Anne is cold. Anne is furry. Anne is not rough. Anne is round. Anne is smart. Anne is young. Erin is rough. Erin is not smart. Erin is not young. Round, smart things are young. If something is cold and not smart then it is young. If something is cold and not rough then it is young. If Erin is smart and Erin is not cold then Erin is not young. If Anne is big and Anne is furry then Anne is cold. If something is rough then it is big. If something is round then it is furry. If Anne is young and Anne is not rough then Anne is big.
Anne is not smart.
@0: Anne is big.[(triple1 OR ((triple7 triple4) -> rule8) OR ((((triple2 triple4) -> rule3) triple4) -> rule8) OR ((((triple5 triple6) -> rule1) triple4) -> rule8))] Anne is cold.[(triple2 OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple5) -> rule7)) -> rule5) OR ((((triple7 triple4) -> rule8) triple3) -> rule5) OR ((((triple7 triple4) -> rule8) ((triple5) -> rule7)) -> rule5) OR ((((((triple5 triple6) -> rule1) triple4) -> rule8) triple3) -> rule5) OR ((((((triple5 triple6) -> rule1) triple4) -> rule8) ((triple5) -> rule7)) -> rule5))] Anne is furry.[(triple3 OR ((triple5) -> rule7))] Anne is not rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple4) -> rule3) OR ((triple5 triple6) -> rule1) OR ((((triple1 triple3) -> rule5) triple4) -> rule3) OR ((((triple1 ((triple5) -> rule7)) -> rule5) triple4) -> rule3))] Erin is not smart.[(triple9)] Erin is not young.[(triple10)] Erin is rough.[(triple8)] @1: Erin is big.[(((triple8) -> rule6))]