Charlie is cold. Charlie is kind. Charlie is red. Charlie is round. Charlie is white. Erin is cold. Erin is red. Erin is round. Erin is white. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. If Gary is kind then Gary is round. All quiet, smart people are cold. All white people are round. All smart, red people are quiet. If someone is white then they are quiet. Cold people are quiet.
Erin is cold.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4 OR ((triple5) -> rule3))] Charlie is white.[(triple5)] Erin is cold.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8 OR ((triple9) -> rule3))] Erin is white.[(triple9)] Gary is cold.[(triple10 OR ((triple12 triple15) -> rule2) OR ((((triple15 triple13) -> rule4) triple15) -> rule2))] Gary is kind.[(triple11)] Gary is quiet.[(triple12 OR ((triple10) -> rule6) OR ((triple15 triple13) -> rule4))] Gary is red.[(triple13)] Gary is round.[(triple14 OR ((triple11) -> rule1))] Gary is smart.[(triple15)] @1: Charlie is quiet.[(((triple1) -> rule6) OR ((triple5) -> rule5))] Erin is quiet.[(((triple6) -> rule6) OR ((triple9) -> rule5))]