Anne is furry. Anne is red. Anne is rough. Anne is round. Dave is big. Dave is red. Dave is white. Green, furry people are red. Big people are round. White, rough people are green. If someone is round then they are white. If someone is white and red then they are furry. All white, green people are rough.
Dave is rough.
@0: Anne is furry.[(triple1 OR ((((triple4) -> rule4) triple2) -> rule5))] Anne is red.[(triple2 OR ((((((triple4) -> rule4) triple3) -> rule3) triple1) -> rule1))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Dave is big.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7 OR ((((triple5) -> rule2)) -> rule4))] @1: Anne is white.[(((triple4) -> rule4))] Dave is furry.[(((triple7 triple6) -> rule5) OR ((((((triple5) -> rule2)) -> rule4) triple6) -> rule5))] Dave is round.[(((triple5) -> rule2))] @2: Anne is green.[(((((triple4) -> rule4) triple3) -> rule3))]