Anne is blue. Anne is kind. Anne is round. Anne is white. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Erin is rough. Erin is round. Erin is smart. If something is smart and round then it is blue. If something is smart then it is round. Blue, quiet things are round.
Erin is not smart.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Charlie is rough.[(triple9)] Charlie is round.[(triple10 OR ((triple11) -> rule2))] Charlie is smart.[(triple11)] Charlie is white.[(triple12)] Erin is rough.[(triple13)] Erin is round.[(triple14 OR ((triple15) -> rule2))] Erin is smart.[(triple15)] @1: Bob is round.[(((triple7) -> rule2))] Charlie is blue.[(((triple11 triple10) -> rule1) OR ((triple11 ((triple11) -> rule2)) -> rule1))] Erin is blue.[(((triple15 triple14) -> rule1) OR ((triple15 ((triple15) -> rule2)) -> rule1))] @2: Bob is blue.[(((triple7 ((triple7) -> rule2)) -> rule1))]