Bob is green. Bob is quiet. Bob is red. Rough, kind things are not red. If Bob is quiet and Bob is red then Bob is rough. Red things are big.
Bob is kind.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] @1: Bob is big.[(((triple3) -> rule3))] Bob is rough.[(((triple2 triple3) -> rule2))]