Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is smart. Bob is quiet. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. If someone is red then they are blue. If Anne is blue then Anne is green.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule1))] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple1) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Anne is red.[(triple4)] Anne is smart.[(triple5)] Bob is quiet.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is quiet.[(triple9)] Charlie is smart.[(triple10)] Fiona is blue.[(triple11 OR ((triple14) -> rule1))] Fiona is green.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)]