Anne is rough. Anne is young. Charlie is big. Charlie is not kind. Charlie is red. Charlie is rough. Dave is big. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is young. Harry is kind. Harry is red. If something is round then it is red. All young things are red. If Dave is red then Dave is kind. All furry, young things are big. If something is round and young then it is kind. All round, furry things are kind. If Anne is not round then Anne is not furry. If Harry is rough and Harry is not red then Harry is kind.
Dave is not big.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Charlie is big.[(triple3)] Charlie is not kind.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Dave is big.[(triple7 OR ((triple8 triple13) -> rule4))] Dave is furry.[(triple8)] Dave is kind.[(triple9 OR ((triple10) -> rule3) OR ((triple12 triple13) -> rule5) OR ((triple12 triple8) -> rule6) OR ((((triple12) -> rule1)) -> rule3) OR ((((triple13) -> rule2)) -> rule3))] Dave is red.[(triple10 OR ((triple12) -> rule1) OR ((triple13) -> rule2))] Dave is rough.[(triple11)] Dave is round.[(triple12)] Dave is young.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] @1: Anne is red.[(((triple2) -> rule2))]