Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Anne is young. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. Young, round people are quiet. If Anne is rough and Anne is red then Anne is young.
Anne is round.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2 OR ((triple7 triple5) -> rule1) OR ((((triple4 triple3) -> rule2) triple5) -> rule1))] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple4 triple3) -> rule2))] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((triple14 triple12) -> rule1))] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)]