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