Anne is big. Anne is cold. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is young. Erin is not big. Erin is cold. Erin is quiet. Erin is not red. Erin is round. Erin is smart. Erin is not young. If something is round and big then it is cold. If something is round and young then it is quiet. If something is big and not young then it is quiet. All red things are big. If something is big then it is smart. All big, cold things are red. Young things are red. If Anne is red then Anne is quiet.
Erin is not cold.
@0: Anne is big.[(triple1 OR ((triple4) -> rule4) OR ((((triple7) -> rule7)) -> rule4))] Anne is cold.[(triple2 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple4) -> rule4)) -> rule1) OR ((triple5 ((((triple7) -> rule7)) -> rule4)) -> rule1))] Anne is quiet.[(triple3 OR ((triple4) -> rule8) OR ((triple5 triple7) -> rule2) OR ((((triple7) -> rule7)) -> rule8) OR ((((triple1 triple2) -> rule6)) -> rule8) OR ((((triple1 ((triple5 triple1) -> rule1)) -> rule6)) -> rule8))] Anne is red.[(triple4 OR ((triple7) -> rule7) OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple5 triple1) -> rule1)) -> rule6))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple1) -> rule5) OR ((((triple4) -> rule4)) -> rule5) OR ((((((triple7) -> rule7)) -> rule4)) -> rule5))] Anne is young.[(triple7)] Erin is cold.[(triple9)] Erin is not big.[(triple8)] Erin is not red.[(triple11)] Erin is not young.[(triple14)] Erin is quiet.[(triple10)] Erin is round.[(triple12)] Erin is smart.[(triple13)]