Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. If Charlie is cold then Charlie is blue. If someone is kind and young then they are white. If someone is smart and young then they are furry.
Charlie is furry.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple5 triple7) -> rule3))] Charlie is kind.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple4 triple7) -> rule2))] Charlie is young.[(triple7)]