Fiona is blue. Fiona is green. Fiona is kind. If Fiona is kind and Fiona is big then Fiona is nice. If someone is kind and blue then they are big. If Fiona is blue and Fiona is nice then Fiona is rough.
Fiona is not green.
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is big.[(((triple3 triple1) -> rule2))] @2: Fiona is nice.[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))] @3: Fiona is rough.[(((triple1 ((triple3 ((triple3 triple1) -> rule2)) -> rule1)) -> rule3))]