Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is young. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is young. If something is red then it is rough. Red, big things are kind. All rough, kind things are furry.
Anne is green.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple5 triple1) -> rule2)) -> rule3) OR ((((triple5) -> rule1) triple4) -> rule3) OR ((((triple5) -> rule1) ((triple5 triple1) -> rule2)) -> rule3))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple5 triple1) -> rule2))] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple5) -> rule1))] Anne is young.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9 OR ((triple13 triple11) -> rule3) OR ((triple13 ((triple12 triple8) -> rule2)) -> rule3) OR ((((triple12) -> rule1) triple11) -> rule3) OR ((((triple12) -> rule1) ((triple12 triple8) -> rule2)) -> rule3))] Dave is green.[(triple10)] Dave is kind.[(triple11 OR ((triple12 triple8) -> rule2))] Dave is red.[(triple12)] Dave is rough.[(triple13 OR ((triple12) -> rule1))] Dave is young.[(triple14)]