Charlie is quiet. Charlie is round. Dave is big. Dave is furry. Dave is kind. Dave is quiet. Dave is not smart. Erin is kind. Gary is kind. Gary is not quiet. If Charlie is quiet and Charlie is furry then Charlie is not cold. Big, round people are not quiet. Quiet people are furry.
Gary is cold.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4 OR ((triple6) -> rule3))] Dave is kind.[(triple5)] Dave is not smart.[(triple7)] Dave is quiet.[(triple6)] Erin is kind.[(triple8)] Gary is kind.[(triple9)] Gary is not quiet.[(triple10)] @1: Charlie is furry.[(((triple1) -> rule3))] @2: Charlie is not cold.[(((triple1 ((triple1) -> rule3)) -> rule1))]