Bob is quiet. Charlie is cold. Charlie is kind. Charlie is round. Dave is blue. Dave is kind. Dave is round. Gary is cold. Gary is kind. Gary is quiet. Gary is round. Gary is young. Round people are cold.
Charlie is kind.
@0: Bob is quiet.[(triple1)] Charlie is cold.[(triple2 OR ((triple4) -> rule1))] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Dave is round.[(triple7)] Gary is cold.[(triple8 OR ((triple11) -> rule1))] Gary is kind.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Dave is cold.[(((triple7) -> rule1))]