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