Erin is nice. Erin is red. Fiona is big. If someone is kind then they are green. Nice, red people are smart. Furry people are green.
Fiona is not green.
@0: Erin is nice.[(triple1)] Erin is red.[(triple2)] Fiona is big.[(triple3)] @1: Erin is smart.[(((triple1 triple2) -> rule2))]