Bob is young. Charlie is kind. Gary is green. Harry is smart. If someone is nice then they are green. If someone is cold then they are not green. Green people are not nice. Kind people are red. If someone is kind and not cold then they are smart. If someone is red and not cold then they are not smart. All smart, cold people are not kind. If someone is red and young then they are not kind.
Charlie is nice.
@0: Bob is young.[(triple1)] Charlie is kind.[(triple2)] Gary is green.[(triple3)] Harry is smart.[(triple4)] @1: Charlie is red.[(((triple2) -> rule4))] Gary is not nice.[(((triple3) -> rule3))]