Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. If Charlie is cold and Charlie is smart then Charlie is furry. If something is furry and rough then it is cold. If something is rough and not blue then it is red.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple3 triple6) -> rule2))] Charlie is furry.[(triple3 OR ((triple2 triple7) -> rule1))] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)]