Anne is green. Anne is red. Anne is round. Erin is blue. Erin is nice. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. If someone is round and white then they are nice. All blue people are rough. If Anne is green and Anne is white then Anne is blue. White, green people are blue. If someone is nice and rough then they are green. If someone is rough then they are nice.
Anne is rough.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Erin is blue.[(triple4)] Erin is nice.[(triple5 OR ((((triple4) -> rule2)) -> rule6))] Fiona is nice.[(triple6 OR ((triple8) -> rule6) OR ((triple9 triple10) -> rule1))] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Erin is rough.[(((triple4) -> rule2))] Fiona is green.[(((triple6 triple8) -> rule5) OR ((((triple8) -> rule6) triple8) -> rule5) OR ((((triple9 triple10) -> rule1) triple8) -> rule5))] @2: Erin is green.[(((triple5 ((triple4) -> rule2)) -> rule5) OR ((((((triple4) -> rule2)) -> rule6) ((triple4) -> rule2)) -> rule5))] Fiona is blue.[(((triple10 ((triple6 triple8) -> rule5)) -> rule4) OR ((triple10 ((((triple8) -> rule6) triple8) -> rule5)) -> rule4) OR ((triple10 ((((triple9 triple10) -> rule1) triple8) -> rule5)) -> rule4))]