Anne is cold. Anne is green. Anne is nice. Anne is smart. Anne is white. Anne is not young. Bob is cold. Bob is not nice. Bob is smart. Bob is not white. Bob is young. Fiona is green. Fiona is nice. Fiona is smart. Fiona is young. If someone is green and smart then they are red. If Bob is not young then Bob is red. If Bob is not young then Bob is not red. If Anne is not cold then Anne is not nice. If Bob is cold and Bob is not young then Bob is green. Young people are green. If someone is red and not smart then they are not green. If Anne is young then Anne is green.
Fiona is cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not young.[(triple6)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Bob is cold.[(triple7)] Bob is not nice.[(triple8)] Bob is not white.[(triple10)] Bob is smart.[(triple9)] Bob is young.[(triple11)] Fiona is green.[(triple12 OR ((triple15) -> rule6))] Fiona is nice.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Anne is red.[(((triple2 triple4) -> rule1))] Bob is green.[(((triple11) -> rule6))] Fiona is red.[(((triple12 triple14) -> rule1) OR ((((triple15) -> rule6) triple14) -> rule1))] @2: Bob is red.[(((((triple11) -> rule6) triple9) -> rule1))]