Dave is blue. Dave is red. Dave is smart. Erin is cold. Erin is not green. Erin is nice. Erin is not young. Fiona is cold. Fiona is not green. Fiona is nice. Fiona is smart. Harry is blue. Harry is nice. Harry is red. Harry is smart. Smart people are young. All blue, red people are cold. If someone is blue and not young then they are red. Red, green people are not blue. If Fiona is blue then Fiona is cold. If Harry is red and Harry is blue then Harry is cold. If someone is young and not smart then they are nice. If someone is smart and red then they are nice.
Fiona is not red.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple6)] Erin is not green.[(triple5)] Erin is not young.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple10)] Fiona is not green.[(triple9)] Fiona is smart.[(triple11)] Harry is blue.[(triple12)] Harry is nice.[(triple13 OR ((triple15 triple14) -> rule8))] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Dave is cold.[(((triple1 triple2) -> rule2))] Dave is nice.[(((triple3 triple2) -> rule8))] Dave is young.[(((triple3) -> rule1))] Fiona is young.[(((triple11) -> rule1))] Harry is cold.[(((triple12 triple14) -> rule2) OR ((triple14 triple12) -> rule6))] Harry is young.[(((triple15) -> rule1))]