Erin is kind. Fiona is white. Green things are kind. If something is big then it is white. If Erin is big and Erin is red then Erin is kind. If something is round and smart then it is white. All white things are smart. Round things are white. If something is white and round then it is green. All big things are kind.
Fiona is big.
@0: Erin is kind.[(triple1)] Fiona is white.[(triple2)] @1: Fiona is smart.[(((triple2) -> rule5))]