Anne is young. Dave is not nice. Erin is blue. Erin is young. Fiona is blue. Fiona is rough. Fiona is round. If Dave is white then Dave is rough. If Erin is young then Erin is white. All blue, round people are big. Round, rough people are big. If someone is blue and not young then they are big. All rough people are not nice. All white people are round. If someone is nice and white then they are blue. Big, round people are rough.
Anne is rough.
@0: Anne is young.[(triple1)] Dave is not nice.[(triple2)] Erin is blue.[(triple3)] Erin is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is rough.[(triple6 OR ((((triple5 triple7) -> rule3) triple7) -> rule9))] Fiona is round.[(triple7)] @1: Erin is white.[(((triple4) -> rule2))] Fiona is big.[(((triple5 triple7) -> rule3) OR ((triple7 triple6) -> rule4))] Fiona is not nice.[(((triple6) -> rule6) OR ((((((triple5 triple7) -> rule3) triple7) -> rule9)) -> rule6))] @2: Erin is round.[(((((triple4) -> rule2)) -> rule7))] @3: Erin is big.[(((triple3 ((((triple4) -> rule2)) -> rule7)) -> rule3))] @4: Erin is rough.[(((((triple3 ((((triple4) -> rule2)) -> rule7)) -> rule3) ((((triple4) -> rule2)) -> rule7)) -> rule9))] @5: Erin is not nice.[(((((((triple3 ((((triple4) -> rule2)) -> rule7)) -> rule3) ((((triple4) -> rule2)) -> rule7)) -> rule9)) -> rule6))]