Bob is rough. Dave is rough. Gary is white. Harry is blue. Green things are kind. If something is kind then it is white. All big things are green. If something is white then it is big. If something is big then it is young. If something is rough and green then it is big. If Bob is rough and Bob is white then Bob is kind. Big, blue things are green.
Gary is big.
@0: Bob is rough.[(triple1)] Dave is rough.[(triple2)] Gary is white.[(triple3)] Harry is blue.[(triple4)] @1: Gary is big.[(((triple3) -> rule4))] @2: Gary is green.[(((((triple3) -> rule4)) -> rule3))] Gary is young.[(((((triple3) -> rule4)) -> rule5))] @3: Gary is kind.[(((((((triple3) -> rule4)) -> rule3)) -> rule1))]