Fiona is big. Fiona is not blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. If something is round and not blue then it is nice. If something is blue then it is red. Round, nice things are big.
Fiona is green.
@0: Fiona is big.[(triple1 OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple6 triple2) -> rule1)) -> rule3))] Fiona is green.[(triple3)] Fiona is nice.[(triple4 OR ((triple6 triple2) -> rule1))] Fiona is not blue.[(triple2)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]