Fiona is green. Fiona is red. Fiona is smart. All green people are big. If Fiona is quiet then Fiona is round.
Fiona is quiet.
@0: Fiona is green.[(triple1)] Fiona is red.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is big.[(((triple1) -> rule1))]