Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is not smart. Fiona is young. If something is furry then it is green. If something is furry and not nice then it is red. If something is nice and not young then it is red. If Fiona is not red then Fiona is smart. If Fiona is furry and Fiona is smart then Fiona is green. If something is smart and not young then it is big. If something is green then it is big. Smart, young things are big.
Fiona is not green.
@0: Fiona is big.[(triple1 OR ((triple3) -> rule7) OR ((((triple2) -> rule1)) -> rule7))] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((triple2) -> rule1))] Fiona is nice.[(triple4)] Fiona is not smart.[(triple6)] Fiona is red.[(triple5)] Fiona is young.[(triple7)]