Anne is furry. Anne is kind. Anne is not red. Anne is smart. Anne is young. Bob is red. Bob is not young. Erin is cold. Erin is furry. Erin is not quiet. Erin is red. Erin is not smart. Fiona is cold. Fiona is furry. Fiona is not quiet. Fiona is red. All smart, red things are not quiet. If something is young then it is kind. All furry things are cold.
Anne is young.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule2))] Anne is not red.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Bob is not young.[(triple7)] Bob is red.[(triple6)] Erin is cold.[(triple8 OR ((triple9) -> rule3))] Erin is furry.[(triple9)] Erin is not quiet.[(triple10)] Erin is not smart.[(triple12)] Erin is red.[(triple11)] Fiona is cold.[(triple13 OR ((triple14) -> rule3))] Fiona is furry.[(triple14)] Fiona is not quiet.[(triple15)] Fiona is red.[(triple16)] @1: Anne is cold.[(((triple1) -> rule3))]