Dave is green. Fiona is big. If someone is red and not kind then they are big. Green people are big. Big people are red.
Fiona is big.
@0: Dave is green.[(triple1)] Fiona is big.[(triple2)] @1: Dave is big.[(((triple1) -> rule2))] Fiona is red.[(((triple2) -> rule3))] @2: Dave is red.[(((((triple1) -> rule2)) -> rule3))]