Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. If someone is nice then they are furry. Furry people are quiet.
Charlie is not nice.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple5) -> rule1))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6 OR ((triple3) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Charlie is red.[(triple7)]