The dog is blue. The dog is not green. The dog is young. If something is young then it is big.
The dog is not young.
@0: The dog is blue.[(triple1)] The dog is not green.[(triple2)] The dog is young.[(triple3)] @1: The dog is big.[(((triple3) -> rule1))]