Dave is big. Dave is not green. Dave is nice. Dave is not quiet. Dave is round. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is young. If Harry is nice then Harry is big. All big, round things are young. All big, green things are nice. Green, kind things are nice. All young things are round. Green, quiet things are big.
Dave is young.
@0: Dave is big.[(triple1)] Dave is nice.[(triple3)] Dave is not green.[(triple2)] Dave is not quiet.[(triple4)] Dave is round.[(triple5)] Harry is big.[(triple6 OR ((triple9) -> rule1) OR ((triple7 triple10) -> rule6) OR ((((triple7 triple8) -> rule4)) -> rule1))] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9 OR ((triple6 triple7) -> rule3) OR ((triple7 triple8) -> rule4) OR ((((triple7 triple10) -> rule6) triple7) -> rule3))] Harry is quiet.[(triple10)] Harry is round.[(triple11 OR ((triple12) -> rule5))] Harry is young.[(triple12 OR ((triple6 triple11) -> rule2) OR ((((triple9) -> rule1) triple11) -> rule2) OR ((((triple7 triple10) -> rule6) triple11) -> rule2) OR ((((((triple7 triple8) -> rule4)) -> rule1) triple11) -> rule2))] @1: Dave is young.[(((triple1 triple5) -> rule2))]