Charlie is cold. Charlie is round. Charlie is smart. Dave is cold. Dave is round. Erin is green. Gary is cold. If something is round then it is blue. If Dave is green then Dave is smart. If something is smart then it is round. If something is green and rough then it is nice. If something is green and blue then it is rough. If something is smart then it is nice.
Erin is cold.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2 OR ((triple3) -> rule3))] Charlie is smart.[(triple3)] Dave is cold.[(triple4)] Dave is round.[(triple5)] Erin is green.[(triple6)] Gary is cold.[(triple7)] @1: Charlie is blue.[(((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Charlie is nice.[(((triple3) -> rule6))] Dave is blue.[(((triple5) -> rule1))]