Anne is furry. Anne is not green. Anne is kind. Anne is quiet. Anne is red. Anne is not rough. Anne is round. Erin is furry. Erin is green. Erin is not red. Erin is rough. Erin is not round. Gary is green. Gary is kind. Gary is red. Green things are rough. If something is kind and not red then it is rough. If Gary is rough and Gary is green then Gary is furry.
Gary is furry.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not rough.[(triple6)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is not red.[(triple10)] Erin is not round.[(triple12)] Erin is rough.[(triple11 OR ((triple9) -> rule1))] Gary is green.[(triple13)] Gary is kind.[(triple14)] Gary is red.[(triple15)] @1: Gary is rough.[(((triple13) -> rule1))] @2: Gary is furry.[(((((triple13) -> rule1) triple13) -> rule3))]