Charlie is blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Dave is cold. Erin is cold. Erin is rough. Erin is round. Erin is smart. If someone is green and red then they are round. All blue, red people are cold.
Charlie is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1 triple4) -> rule2))] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple3 triple4) -> rule1))] Charlie is smart.[(triple7)] Dave is cold.[(triple8)] Erin is cold.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12)]