Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is round. Anne is not smart. Anne is young. Fiona is blue. Fiona is not cold. Fiona is nice. Fiona is not quiet. Fiona is round. Fiona is smart. Fiona is young. All quiet people are not smart. All young people are nice. If someone is cold and smart then they are not quiet. If Fiona is not young then Fiona is not quiet. If Anne is smart and Anne is quiet then Anne is blue. Young people are blue. If Fiona is blue then Fiona is not cold. If Anne is smart and Anne is not cold then Anne is quiet.
Anne is not cold.
@0: Anne is blue.[(triple1 OR ((triple7) -> rule6))] Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((triple7) -> rule2))] Anne is not smart.[(triple6 OR ((triple4) -> rule1))] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple14) -> rule6))] Fiona is nice.[(triple10 OR ((triple14) -> rule2))] Fiona is not cold.[(triple9 OR ((triple8) -> rule7) OR ((((triple14) -> rule6)) -> rule7))] Fiona is not quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)]