Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is smart. Dave is blue. Dave is green. Dave is smart. Erin is blue. Erin is cold. Erin is rough. Erin is smart. If something is rough then it is red. If something is cold then it is blue. If something is kind then it is cold.
Charlie is rough.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] Charlie is cold.[(triple2 OR ((triple3) -> rule3))] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is smart.[(triple8)] Erin is blue.[(triple9 OR ((triple10) -> rule2))] Erin is cold.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] @1: Erin is red.[(((triple11) -> rule1))]