Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Anne is white. Erin is nice. Erin is quiet. Erin is round. Fiona is big. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. Gary is white. If someone is big and not quiet then they are not nice. If someone is smart and not quiet then they are nice. Smart people are rough. If Gary is quiet and Gary is not white then Gary is round. Round people are big. If someone is big then they are smart.
Erin is smart.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3 OR ((triple5) -> rule3) OR ((((((triple4) -> rule5)) -> rule6)) -> rule3))] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((((triple4) -> rule5)) -> rule6))] Anne is white.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Fiona is big.[(triple10 OR ((triple13) -> rule5))] Fiona is nice.[(triple11)] Fiona is rough.[(triple12 OR ((((triple10) -> rule6)) -> rule3) OR ((((((triple13) -> rule5)) -> rule6)) -> rule3))] Fiona is round.[(triple13)] Fiona is white.[(triple14)] Gary is white.[(triple15)] @1: Anne is big.[(((triple4) -> rule5))] Erin is big.[(((triple9) -> rule5))] Fiona is smart.[(((triple10) -> rule6) OR ((((triple13) -> rule5)) -> rule6))] @2: Erin is smart.[(((((triple9) -> rule5)) -> rule6))] @3: Erin is rough.[(((((((triple9) -> rule5)) -> rule6)) -> rule3))]