Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. If someone is quiet then they are blue. Nice people are blue. If Fiona is blue then Fiona is nice.
Fiona is not green.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple6) -> rule2) OR ((triple7) -> rule1))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6 OR ((triple2) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Fiona is quiet.[(triple7)]