Bob is not furry. Charlie is big. Gary is cold. Big people are nice. Green, nice people are not white. If Charlie is not nice then Charlie is not green. If someone is furry and not green then they are smart. All big people are not smart. If Charlie is smart then Charlie is furry.
Bob is furry.
@0: Bob is not furry.[(triple1)] Charlie is big.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule1))] Charlie is not smart.[(((triple2) -> rule5))]