Anne is rough. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is smart. Dave is cold. Dave is kind. Gary is cold. Gary is kind. Gary is round. Gary is smart. All kind people are cold. Cold, blue people are kind. If someone is blue then they are smart. All round people are blue. If Dave is cold then Dave is round. If someone is blue and quiet then they are kind.
Gary is not quiet.
@0: Anne is rough.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple4) -> rule1))] Charlie is kind.[(triple4 OR ((triple3 triple2) -> rule2))] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple2) -> rule3))] Dave is cold.[(triple7 OR ((triple8) -> rule1))] Dave is kind.[(triple8 OR ((triple7 ((((triple7) -> rule5)) -> rule4)) -> rule2))] Gary is cold.[(triple9 OR ((triple10) -> rule1))] Gary is kind.[(triple10 OR ((triple9 ((triple11) -> rule4)) -> rule2))] Gary is round.[(triple11)] Gary is smart.[(triple12 OR ((((triple11) -> rule4)) -> rule3))] @1: Dave is round.[(((triple7) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] Gary is blue.[(((triple11) -> rule4))] @2: Dave is blue.[(((((triple7) -> rule5)) -> rule4) OR ((((((triple8) -> rule1)) -> rule5)) -> rule4))] @3: Dave is smart.[(((((((triple7) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule4)) -> rule3))]