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