Anne is furry. Anne is kind. Anne is smart. Anne is young. Bob is not furry. Bob is kind. Bob is red. Bob is smart. Bob is young. Erin is not smart. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is red. Fiona is smart. If someone is young and cold then they are furry. If someone is kind and not cold then they are furry. White people are smart. If someone is young and white then they are not kind. Smart people are red. If Anne is white and Anne is not kind then Anne is smart.
Erin is not furry.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is kind.[(triple6)] Bob is not furry.[(triple5)] Bob is red.[(triple7 OR ((triple8) -> rule5))] Bob is smart.[(triple8)] Bob is young.[(triple9)] Erin is not smart.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple13)] Fiona is not furry.[(triple12)] Fiona is red.[(triple14 OR ((triple15) -> rule5))] Fiona is smart.[(triple15)] @1: Anne is red.[(((triple3) -> rule5))]