Anne is blue. Anne is cold. Anne is furry. Anne is white. Anne is not young. Dave is not blue. Dave is not cold. Dave is nice. Dave is white. Fiona is not furry. Fiona is nice. Fiona is white. Gary is not blue. Gary is furry. Gary is young. Cold people are furry. All blue people are furry. Cold people are not nice. All young, white people are not nice. White, young people are nice. If someone is nice and not young then they are white. All big, furry people are white. If someone is blue then they are cold.
Fiona is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule8))] Anne is furry.[(triple3 OR ((triple1) -> rule2) OR ((triple2) -> rule1) OR ((((triple1) -> rule8)) -> rule1))] Anne is not young.[(triple5)] Anne is white.[(triple4)] Dave is nice.[(triple8)] Dave is not blue.[(triple6)] Dave is not cold.[(triple7)] Dave is white.[(triple9)] Fiona is nice.[(triple11)] Fiona is not furry.[(triple10)] Fiona is white.[(triple12)] Gary is furry.[(triple14)] Gary is not blue.[(triple13)] Gary is young.[(triple15)] @1: Anne is not nice.[(((triple2) -> rule3) OR ((((triple1) -> rule8)) -> rule3))]