Bob is nice. Erin is nice. Fiona is round. All nice people are big.
Erin is nice.
@0: Bob is nice.[(triple1)] Erin is nice.[(triple2)] Fiona is round.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))] Erin is big.[(((triple2) -> rule1))]