Charlie is nice. Charlie is rough. Dave is red. Erin is smart. Harry is nice. Harry is red. Harry is round. Round, quiet people are nice. If Harry is furry and Harry is red then Harry is rough. Nice people are round. If someone is red and furry then they are smart. If Dave is nice then Dave is smart. All quiet people are smart.
Charlie is rough.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Dave is red.[(triple3)] Erin is smart.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7 OR ((triple5) -> rule3))] @1: Charlie is round.[(((triple1) -> rule3))]