Erin is big. Erin is blue. Erin is white. Nice things are blue. All white things are nice. If something is furry and nice then it is blue.
Erin is big.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((((triple3) -> rule2)) -> rule1))] Erin is white.[(triple3)] @1: Erin is nice.[(((triple3) -> rule2))]