Bob is young. Fiona is furry. Gary is red. Young things are kind. All kind things are big. All young, rough things are kind.
Gary is nice.
@0: Bob is young.[(triple1)] Fiona is furry.[(triple2)] Gary is red.[(triple3)] @1: Bob is kind.[(((triple1) -> rule1))] @2: Bob is big.[(((((triple1) -> rule1)) -> rule2))]