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