The dog chases the tiger. The dog is nice. The dog likes the tiger. The tiger chases the dog. The tiger is kind. The tiger is rough. The tiger is round. If something chases the dog and it is round then the dog is rough. If something chases the tiger then the tiger visits the dog. All rough things are young. If the tiger likes the dog and the dog chases the tiger then the tiger is kind. If something likes the dog then the dog likes the tiger. If something is kind and it likes the dog then it is rough.
The tiger is young.
@0: The dog chases the tiger.[(triple1)] The dog is nice.[(triple2)] The dog likes the tiger.[(triple3)] The tiger chases the dog.[(triple4)] The tiger is kind.[(triple5)] The tiger is rough.[(triple6)] The tiger is round.[(triple7)] @1: The dog is rough.[(((triple4 triple7) -> rule1))] The tiger is young.[(((triple6) -> rule3))] The tiger visits the dog.[(((triple1) -> rule2))] @2: The dog is young.[(((((triple4 triple7) -> rule1)) -> rule3))]