Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is young. Dave is furry. Dave is green. Dave is rough. Dave is round. Dave is young. Furry people are green. If someone is quiet and young then they are kind. Round people are furry.
Dave is round.
@0: Anne is furry.[(triple1 OR ((triple6) -> rule3))] Anne is green.[(triple2 OR ((triple1) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Anne is kind.[(triple3 OR ((triple4 triple7) -> rule2))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Dave is furry.[(triple8 OR ((triple11) -> rule3))] Dave is green.[(triple9 OR ((triple8) -> rule1) OR ((((triple11) -> rule3)) -> rule1))] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is young.[(triple12)]