Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is round. Anne is smart. Anne is young. Blue, round things are smart. All round things are smart. If something is young then it is cold. If Anne is not furry then Anne is young. If Anne is not big then Anne is young. All big things are young. All blue things are round. All smart, round things are blue.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple6 triple5) -> rule8) OR ((((triple5) -> rule2) triple5) -> rule8))] Anne is cold.[(triple3 OR ((triple7) -> rule3) OR ((((triple1) -> rule6)) -> rule3))] Anne is furry.[(triple4)] Anne is round.[(triple5 OR ((triple2) -> rule7))] Anne is smart.[(triple6 OR ((triple5) -> rule2) OR ((triple2 triple5) -> rule1) OR ((((triple2) -> rule7)) -> rule2) OR ((triple2 ((triple2) -> rule7)) -> rule1))] Anne is young.[(triple7 OR ((triple1) -> rule6))]