Fiona is blue. Fiona is quiet. Fiona is round. Kind, round things are young. Kind things are young. If something is quiet and blue then it is big. Kind things are young. If something is quiet and young then it is white. Young, blue things are round. If something is quiet and round then it is young. If Fiona is blue then Fiona is white.
Fiona is not blue.
@0: Fiona is blue.[(triple1)] Fiona is quiet.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is big.[(((triple2 triple1) -> rule3))] Fiona is white.[(((triple1) -> rule8) OR ((triple2 ((triple2 triple3) -> rule7)) -> rule5))] Fiona is young.[(((triple2 triple3) -> rule7))]