Charlie is furry. Charlie is green. Charlie is red. Dave is green. Dave is kind. Dave is red. Dave is round. Dave is smart. Gary is cold. Gary is red. Gary is round. Gary is smart. If someone is cold then they are kind. If someone is smart then they are cold.
Charlie is not kind.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((((triple8) -> rule2)) -> rule1))] Dave is red.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Gary is cold.[(triple9 OR ((triple12) -> rule2))] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12)] @1: Dave is cold.[(((triple8) -> rule2))] Gary is kind.[(((triple9) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]