Charlie is big. Charlie is green. Charlie is nice. Dave is nice. Dave is round. Dave is white. Fiona is nice. Gary is big. Gary is red. Gary is white. Big, nice people are cold. All cold people are white.
Dave is big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Fiona is nice.[(triple7)] Gary is big.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Charlie is cold.[(((triple1 triple3) -> rule1))] @2: Charlie is white.[(((((triple1 triple3) -> rule1)) -> rule2))]