Charlie is round. Charlie is not smart. Charlie is white. Charlie is young. Dave is big. Dave is smart. Dave is white. Dave is young. Erin is round. Erin is smart. Erin is not young. Harry is big. Harry is furry. Harry is quiet. Harry is not round. Big, quiet things are white. If something is furry and not quiet then it is white. Furry, young things are not smart. Big, quiet things are young. If Dave is not round then Dave is big. All young, smart things are big.
Dave is not smart.
@0: Charlie is not smart.[(triple2)] Charlie is round.[(triple1)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Dave is big.[(triple5 OR ((triple8 triple6) -> rule6))] Dave is smart.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8)] Erin is not young.[(triple11)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Harry is big.[(triple12)] Harry is furry.[(triple13)] Harry is not round.[(triple15)] Harry is quiet.[(triple14)] @1: Harry is white.[(((triple12 triple14) -> rule1))] Harry is young.[(((triple12 triple14) -> rule4))] @2: Harry is not smart.[(((triple13 ((triple12 triple14) -> rule4)) -> rule3))]