Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is not round. Fiona is young. If something is red and not quiet then it is young. If something is quiet and not big then it is young. If something is round and not quiet then it is kind. Red things are not blue. If something is round and not young then it is not blue. Big, quiet things are blue.
Fiona is round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple4) -> rule6))] Fiona is kind.[(triple3)] Fiona is not red.[(triple5)] Fiona is not round.[(triple6)] Fiona is quiet.[(triple4)] Fiona is young.[(triple7)]