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