Anne is nice. Bob is smart. Charlie is nice. If something is smart then it is big. Nice, young things are not round. If something is white and not big then it is furry.
Bob is big.
@0: Anne is nice.[(triple1)] Bob is smart.[(triple2)] Charlie is nice.[(triple3)] @1: Bob is big.[(((triple2) -> rule1))]