Bob is blue. Bob is nice. Bob is white. Charlie is quiet. Charlie is round. Charlie is white. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Gary is blue. Gary is nice. Gary is quiet. Gary is round. Gary is white. All blue people are round.
Bob is not round.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is nice.[(triple9)] Dave is quiet.[(triple10)] Gary is blue.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14 OR ((triple11) -> rule1))] Gary is white.[(triple15)] @1: Bob is round.[(((triple1) -> rule1))] Dave is round.[(((triple7) -> rule1))]