Erin is young. Fiona is big. Fiona is white. If someone is rough and white then they are big. Green, young people are red. Young, rough people are big. If someone is green then they are white. White, green people are big. If someone is white then they are red. Big, red people are rough. If someone is red and rough then they are young.
Erin is smart.
@0: Erin is young.[(triple1)] Fiona is big.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is red.[(((triple3) -> rule6))] @2: Fiona is rough.[(((triple2 ((triple3) -> rule6)) -> rule7))] @3: Fiona is young.[(((((triple3) -> rule6) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule8))]