Erin is kind. Fiona is round. If Erin is quiet then Erin is big. All nice, quiet things are blue. If something is big and quiet then it is blue. If something is white then it is kind. All quiet things are blue. If something is kind then it is blue.
Erin is not kind.
@0: Erin is kind.[(triple1)] Fiona is round.[(triple2)] @1: Erin is blue.[(((triple1) -> rule6))]