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