Bob is green. Dave is big. Fiona is blue. Harry is green. All blue people are green.
Dave is not big.
@0: Bob is green.[(triple1)] Dave is big.[(triple2)] Fiona is blue.[(triple3)] Harry is green.[(triple4)] @1: Fiona is green.[(((triple3) -> rule1))]