Bob is red. Charlie is cold. Charlie is round. Dave is cold. Dave is kind. Gary is cold. Gary is kind. All smart people are cold. Quiet, red people are cold. Cold people are smart. All blue people are round. If someone is round and cold then they are red. If Dave is cold then Dave is blue. Round, cold people are quiet. Quiet, cold people are kind.
Charlie is blue.
@0: Bob is red.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5 OR ((((((((triple4) -> rule6)) -> rule4) triple4) -> rule7) triple4) -> rule8))] Gary is cold.[(triple6)] Gary is kind.[(triple7)] @1: Charlie is quiet.[(((triple3 triple2) -> rule7))] Charlie is red.[(((triple3 triple2) -> rule5))] Charlie is smart.[(((triple2) -> rule3))] Dave is blue.[(((triple4) -> rule6))] Dave is smart.[(((triple4) -> rule3))] Gary is smart.[(((triple6) -> rule3))] @2: Charlie is kind.[(((((triple3 triple2) -> rule7) triple2) -> rule8))] Dave is round.[(((((triple4) -> rule6)) -> rule4))] @3: Dave is quiet.[(((((((triple4) -> rule6)) -> rule4) triple4) -> rule7))] Dave is red.[(((((((triple4) -> rule6)) -> rule4) triple4) -> rule5))]