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