Bob is not green. Bob is not kind. Bob is quiet. Bob is smart. Bob is white. Dave is not kind. Dave is white. Gary is green. Gary is white. Harry is not green. Harry is quiet. Harry is smart. If someone is nice then they are not kind. If someone is green then they are kind.
Harry is white.
@0: Bob is not green.[(triple1)] Bob is not kind.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Dave is not kind.[(triple6)] Dave is white.[(triple7)] Gary is green.[(triple8)] Gary is white.[(triple9)] Harry is not green.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Gary is kind.[(((triple8) -> rule2))]