Fiona is blue. Fiona is cold. Fiona is red. All quiet people are blue. If someone is smart then they are young. If someone is young then they are smart. If Fiona is blue and Fiona is red then Fiona is young. If someone is blue and smart then they are quiet. All kind, young people are blue.
Fiona is not quiet.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is young.[(((triple1 triple3) -> rule4))] @2: Fiona is smart.[(((((triple1 triple3) -> rule4)) -> rule3))] @3: Fiona is quiet.[(((triple1 ((((triple1 triple3) -> rule4)) -> rule3)) -> rule5))]