Anne is cold. Anne is nice. Anne is round. Anne is smart. Bob is cold. Bob is green. Erin is not cold. Erin is green. Erin is red. Erin is round. Erin is smart. Fiona is green. Fiona is red. Fiona is not round. Fiona is not smart. If Erin is nice and Erin is red then Erin is not young. Round things are smart. If Bob is round then Bob is not cold. If Erin is cold then Erin is round. If something is smart and not nice then it is not round. If Fiona is smart and Fiona is not round then Fiona is red. Red things are green. If something is young then it is green.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple3) -> rule2))] Bob is cold.[(triple5)] Bob is green.[(triple6)] Erin is green.[(triple8 OR ((triple9) -> rule7))] Erin is not cold.[(triple7)] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((triple10) -> rule2))] Fiona is green.[(triple12 OR ((triple13) -> rule7))] Fiona is not round.[(triple14)] Fiona is not smart.[(triple15)] Fiona is red.[(triple13)]