Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Dave is blue. Dave is cold. Dave is round. Erin is nice. Erin is red. Erin is round. Erin is smart. Fiona is blue. Fiona is cold. All cold people are rough. If Fiona is rough then Fiona is smart. If Anne is rough then Anne is smart. If someone is nice and not red then they are cold. Red people are round. If Erin is cold and Erin is not rough then Erin is round.
Erin is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple2) -> rule1))] Anne is round.[(triple6 OR ((triple4) -> rule5))] Anne is smart.[(triple7 OR ((triple5) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is round.[(triple10)] Erin is nice.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple12) -> rule5))] Erin is smart.[(triple14)] Fiona is blue.[(triple15)] Fiona is cold.[(triple16)] @1: Dave is rough.[(((triple9) -> rule1))] Fiona is rough.[(((triple16) -> rule1))] @2: Fiona is smart.[(((((triple16) -> rule1)) -> rule2))]