The dog is big. The dog is green. The dog is kind. If someone is green and nice then they are red. If someone is green and big then they are nice.
The dog is red.
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] @1: The dog is nice.[(((triple2 triple1) -> rule2))] @2: The dog is red.[(((triple2 ((triple2 triple1) -> rule2)) -> rule1))]