The cat is cold. The cow is rough. The dog likes the tiger. The dog visits the tiger. The tiger is cold. The tiger is rough. The tiger likes the cat. The tiger likes the cow. The tiger sees the cat. The tiger sees the dog. The tiger visits the cow. The tiger visits the dog. If something visits the tiger and the tiger visits the dog then the dog is kind. Kind things are big.
The tiger is big.
@0: The cat is cold.[(triple1)] The cow is rough.[(triple2)] The dog likes the tiger.[(triple3)] The dog visits the tiger.[(triple4)] The tiger is cold.[(triple5)] The tiger is rough.[(triple6)] The tiger likes the cat.[(triple7)] The tiger likes the cow.[(triple8)] The tiger sees the cat.[(triple9)] The tiger sees the dog.[(triple10)] The tiger visits the cow.[(triple11)] The tiger visits the dog.[(triple12)] @1: The dog is kind.[(((triple4 triple12) -> rule1))] @2: The dog is big.[(((((triple4 triple12) -> rule1)) -> rule2))]