Bob is quiet. Bob is round. Charlie is blue. Charlie is cold. Charlie is not round. Gary is not blue. Gary is green. Gary is quiet. Gary is rough. Gary is white. All blue people are rough. If someone is green and not rough then they are round.
Bob is not cold.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is not round.[(triple5)] Gary is green.[(triple7)] Gary is not blue.[(triple6)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Charlie is rough.[(((triple3) -> rule1))]