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