Bob is smart. Gary is nice. Harry is white. If someone is nice and green then they are young. If someone is young and white then they are red. All green, nice people are white. White, red people are green. If someone is smart then they are nice. All kind people are nice.
Harry is smart.
@0: Bob is smart.[(triple1)] Gary is nice.[(triple2)] Harry is white.[(triple3)] @1: Bob is nice.[(((triple1) -> rule5))]