Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is smart. Anne is young. Dave is nice. Dave is round. Dave is smart. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is round. Harry is smart. Harry is young. Round, young things are big. If Dave is nice then Dave is kind. If something is nice and not round then it is young. All kind things are young. All smart things are kind. If Anne is not nice then Anne is young.
Dave is not big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple5) -> rule5))] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6 OR ((triple3) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Dave is nice.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Harry is big.[(triple10 OR ((triple14 triple16) -> rule1) OR ((triple14 ((triple12) -> rule4)) -> rule1) OR ((triple14 ((((triple15) -> rule5)) -> rule4)) -> rule1))] Harry is green.[(triple11)] Harry is kind.[(triple12 OR ((triple15) -> rule5))] Harry is nice.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple12) -> rule4) OR ((((triple15) -> rule5)) -> rule4))] @1: Dave is kind.[(((triple7) -> rule2) OR ((triple9) -> rule5))] @2: Dave is young.[(((((triple7) -> rule2)) -> rule4) OR ((((triple9) -> rule5)) -> rule4))] @3: Dave is big.[(((triple8 ((((triple7) -> rule2)) -> rule4)) -> rule1) OR ((triple8 ((((triple9) -> rule5)) -> rule4)) -> rule1))]