Charlie is green. Fiona is big. Fiona is smart. If someone is green then they are blue. If someone is green and big then they are furry. All big people are kind.
Charlie is big.
@0: Charlie is green.[(triple1)] Fiona is big.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule1))] Fiona is kind.[(((triple2) -> rule3))]