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