Erin is big. Erin is green. Erin is quiet. Fiona is quiet. Fiona is rough. Gary is quiet. Harry is kind. Kind things are smart. All smart, rough things are green. All quiet things are green. Smart, green things are kind. All green things are rough. If something is smart then it is quiet. If something is green and not kind then it is big. If something is big and not quiet then it is round. Rough, quiet things are round.
Erin is not round.
@0: Erin is big.[(triple1)] Erin is green.[(triple2 OR ((triple3) -> rule3))] Erin is quiet.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5 OR ((((triple4) -> rule3)) -> rule5))] Gary is quiet.[(triple6)] Harry is kind.[(triple7)] @1: Erin is rough.[(((triple2) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] Fiona is green.[(((triple4) -> rule3))] Fiona is round.[(((triple5 triple4) -> rule9) OR ((((((triple4) -> rule3)) -> rule5) triple4) -> rule9))] Gary is green.[(((triple6) -> rule3))] Harry is smart.[(((triple7) -> rule1))] @2: Erin is round.[(((((triple2) -> rule5) triple3) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) triple3) -> rule9))] Gary is rough.[(((((triple6) -> rule3)) -> rule5))] Harry is quiet.[(((((triple7) -> rule1)) -> rule6))] @3: Gary is round.[(((((((triple6) -> rule3)) -> rule5) triple6) -> rule9))] Harry is green.[(((((((triple7) -> rule1)) -> rule6)) -> rule3))] @4: Harry is rough.[(((((((((triple7) -> rule1)) -> rule6)) -> rule3)) -> rule5))] @5: Harry is round.[(((((((((((triple7) -> rule1)) -> rule6)) -> rule3)) -> rule5) ((((triple7) -> rule1)) -> rule6)) -> rule9))]