Anne is cold. Anne is red. Charlie is blue. Charlie is red. Charlie is smart. Erin is not green. Erin is rough. Erin is smart. Fiona is not smart. Fiona is not white. Green, red people are smart. Smart people are rough. All red people are blue. If someone is smart and cold then they are blue. If someone is white and blue then they are green. If someone is blue then they are green. If Erin is white and Erin is blue then Erin is smart. If Anne is cold and Anne is not blue then Anne is rough.
Fiona is green.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Charlie is blue.[(triple3 OR ((triple4) -> rule3))] Charlie is red.[(triple4)] Charlie is smart.[(triple5 OR ((((triple3) -> rule6) triple4) -> rule1) OR ((((((triple4) -> rule3)) -> rule6) triple4) -> rule1))] Erin is not green.[(triple6)] Erin is rough.[(triple7 OR ((triple8) -> rule2))] Erin is smart.[(triple8)] Fiona is not smart.[(triple9)] Fiona is not white.[(triple10)] @1: Anne is blue.[(((triple2) -> rule3))] Charlie is green.[(((triple3) -> rule6) OR ((((triple4) -> rule3)) -> rule6))] Charlie is rough.[(((triple5) -> rule2) OR ((((((triple3) -> rule6) triple4) -> rule1)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule6) triple4) -> rule1)) -> rule2))] @2: Anne is green.[(((((triple2) -> rule3)) -> rule6))] @3: Anne is smart.[(((((((triple2) -> rule3)) -> rule6) triple2) -> rule1))] @4: Anne is rough.[(((((((((triple2) -> rule3)) -> rule6) triple2) -> rule1)) -> rule2))]