Fiona is big. Fiona is green. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Kind things are smart. Smart things are kind. If something is green and not kind then it is not white.
Fiona is rough.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3 OR ((triple5) -> rule2))] Fiona is rough.[(triple4)] Fiona is smart.[(triple5 OR ((triple3) -> rule1))] Fiona is white.[(triple6)] Fiona is young.[(triple7)]