Anne is kind. Bob is red. Erin is big. If something is red then it is rough. If something is rough and kind then it is big. Blue things are kind. All big, quiet things are rough. If something is kind and red then it is big. Blue, red things are kind.
Bob is red.
@0: Anne is kind.[(triple1)] Bob is red.[(triple2)] Erin is big.[(triple3)] @1: Bob is rough.[(((triple2) -> rule1))]