Anne is furry. Anne is green. Anne is rough. Anne is round. Anne is smart. Dave is green. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Harry is furry. Harry is kind. Harry is round. If someone is green then they are round. If someone is white and smart then they are furry. Rough people are round. If someone is rough then they are round. Furry people are round. Furry people are green.
Anne is kind.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple1) -> rule6))] Anne is rough.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule5) OR ((triple2) -> rule1) OR ((triple3) -> rule3) OR ((triple3) -> rule4) OR ((((triple1) -> rule6)) -> rule1))] Anne is smart.[(triple5)] Dave is green.[(triple6)] Fiona is furry.[(triple7 OR ((triple13 triple12) -> rule2))] Fiona is green.[(triple8 OR ((triple7) -> rule6) OR ((((triple13 triple12) -> rule2)) -> rule6))] Fiona is kind.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11 OR ((triple10) -> rule3) OR ((triple10) -> rule4) OR ((triple7) -> rule5) OR ((triple8) -> rule1) OR ((((triple7) -> rule6)) -> rule1) OR ((((triple13 triple12) -> rule2)) -> rule5) OR ((((((triple13 triple12) -> rule2)) -> rule6)) -> rule1))] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Harry is furry.[(triple14)] Harry is kind.[(triple15)] Harry is round.[(triple16 OR ((triple14) -> rule5) OR ((((triple14) -> rule6)) -> rule1))] @1: Dave is round.[(((triple6) -> rule1))] Harry is green.[(((triple14) -> rule6))]