Anne is furry. Anne is kind. Anne is rough. Bob is cold. Bob is kind. Bob is rough. Bob is young. Erin is cold. Erin is furry. Erin is kind. Erin is red. Fiona is furry. If Fiona is kind and Fiona is rough then Fiona is cold. If something is kind then it is cold.
Erin is cold.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Bob is cold.[(triple4 OR ((triple5) -> rule2))] Bob is kind.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule2))] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is red.[(triple11)] Fiona is furry.[(triple12)] @1: Anne is cold.[(((triple2) -> rule2))]