Fiona is not big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is smart. If someone is smart and not blue then they are big. If someone is green and not furry then they are not nice. If someone is smart and not big then they are red.
Fiona is not smart.
@0: Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is not big.[(triple1)] Fiona is red.[(triple6 OR ((triple7 triple1) -> rule3))] Fiona is smart.[(triple7)]