Charlie is big. Dave is nice. If someone is nice then they are white. Furry, green people are blue.
Charlie is big.
@0: Charlie is big.[(triple1)] Dave is nice.[(triple2)] @1: Dave is white.[(((triple2) -> rule1))]