Anne is nice. Anne is young. Dave is cold. Dave is not kind. Dave is nice. Dave is red. Dave is rough. Erin is not cold. Erin is furry. Erin is red. Erin is young. Fiona is not cold. Fiona is kind. Fiona is nice. Fiona is red. If Anne is cold and Anne is not kind then Anne is red. If Erin is cold and Erin is furry then Erin is not young. If Dave is not nice then Dave is furry. Furry, cold people are not red. If someone is cold and not furry then they are red. If someone is nice and young then they are rough. If someone is kind and not red then they are not young. If someone is furry then they are young.
Dave is nice.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Dave is cold.[(triple3)] Dave is nice.[(triple5)] Dave is not kind.[(triple4)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Erin is furry.[(triple9)] Erin is not cold.[(triple8)] Erin is red.[(triple10)] Erin is young.[(triple11 OR ((triple9) -> rule8))] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is not cold.[(triple12)] Fiona is red.[(triple15)] @1: Anne is rough.[(((triple1 triple2) -> rule6))]