Bob is blue. Bob is cold. Bob is nice. Bob is young. Dave is cold. Dave is rough. Dave is young. Gary is cold. Gary is nice. Gary is round. All nice things are white.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Dave is cold.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] @1: Bob is white.[(((triple3) -> rule1))] Gary is white.[(((triple9) -> rule1))]