Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is white. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is red. Fiona is rough. Fiona is white. All cold things are furry. If something is nice then it is not furry. If something is nice and kind then it is furry. If Fiona is rough and Fiona is not white then Fiona is furry. If Fiona is nice and Fiona is not kind then Fiona is furry. If something is cold then it is not nice.
Erin is not kind.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple1) -> rule1))] Erin is kind.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7 OR ((triple6) -> rule1))] Fiona is kind.[(triple8)] Fiona is not nice.[(triple9 OR ((triple6) -> rule6))] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12)] @1: Erin is not nice.[(((triple1) -> rule6))]