Bob is kind. Bob is white. Charlie is kind. Charlie is nice. Charlie is quiet. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Harry is nice. All nice people are quiet. If someone is kind and blue then they are nice.
Gary is smart.
@0: Bob is kind.[(triple1)] Bob is white.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple4) -> rule1))] Gary is nice.[(triple6)] Gary is quiet.[(triple7 OR ((triple6) -> rule1))] Gary is smart.[(triple8)] Gary is white.[(triple9)] Harry is nice.[(triple10)] @1: Harry is quiet.[(((triple10) -> rule1))]