Anne is green. Anne is quiet. Anne is not red. Anne is rough. Erin is blue. Erin is not green. Erin is quiet. Erin is not red. Fiona is green. Fiona is not nice. Fiona is quiet. Fiona is red. Harry is blue. Harry is green. Harry is nice. All blue, nice people are rough. If someone is green then they are rough. If someone is rough and not nice then they are blue. White, green people are red. All quiet, nice people are not red. If Erin is not white then Erin is green. If someone is blue and not white then they are quiet. If someone is blue and nice then they are quiet.
Erin is not rough.
@0: Anne is green.[(triple1)] Anne is not red.[(triple3)] Anne is quiet.[(triple2)] Anne is rough.[(triple4 OR ((triple1) -> rule2))] Erin is blue.[(triple5)] Erin is not green.[(triple6)] Erin is not red.[(triple8)] Erin is quiet.[(triple7)] Fiona is green.[(triple9)] Fiona is not nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] @1: Fiona is rough.[(((triple9) -> rule2))] Harry is quiet.[(((triple13 triple15) -> rule8))] Harry is rough.[(((triple14) -> rule2) OR ((triple13 triple15) -> rule1))] @2: Fiona is blue.[(((((triple9) -> rule2) triple10) -> rule3))] Harry is not red.[(((((triple13 triple15) -> rule8) triple15) -> rule5))]