Charlie is kind. Dave is blue. Fiona is kind. If someone is blue then they are big. Blue, smart people are red.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Dave is blue.[(triple2)] Fiona is kind.[(triple3)] @1: Dave is big.[(((triple2) -> rule1))]