Bob is cold. Bob is red. Bob is round. Charlie is green. Charlie is red. Dave is rough. Gary is nice. All rough things are red.
Charlie is rough.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Dave is rough.[(triple6)] Gary is nice.[(triple7)] @1: Dave is red.[(((triple6) -> rule1))]