Fiona is kind. Fiona is red. Fiona is white. All young, red things are big. Young things are green. All kind things are green. If something is kind then it is nice. If something is red then it is white. If something is big and green then it is red. White, big things are red. Young things are big.
Fiona is young.
@0: Fiona is kind.[(triple1)] Fiona is red.[(triple2)] Fiona is white.[(triple3 OR ((triple2) -> rule5))] @1: Fiona is green.[(((triple1) -> rule3))] Fiona is nice.[(((triple1) -> rule4))]