Erin is nice. Fiona is red. If someone is blue then they are young. White, blue people are smart. Nice, blue people are smart. Young, smart people are white. Blue, smart people are young. Nice people are red. Kind, red people are nice. If someone is red then they are nice.
Erin is not white.
@0: Erin is nice.[(triple1)] Fiona is red.[(triple2)] @1: Erin is red.[(((triple1) -> rule6))] Fiona is nice.[(((triple2) -> rule8))]