The dog is not kind. The dog is round. The dog likes the tiger. The dog sees the rabbit. The dog visits the rabbit. The dog visits the tiger. The rabbit is big. The rabbit is cold. The rabbit is not kind. The rabbit is young. The rabbit sees the tiger. The rabbit visits the dog. The rabbit visits the tiger. The tiger is round. The tiger likes the dog. The tiger visits the rabbit. If something sees the tiger then the tiger likes the rabbit.
The tiger visits the rabbit.
@0: The dog is not kind.[(triple1)] The dog is round.[(triple2)] The dog likes the tiger.[(triple3)] The dog sees the rabbit.[(triple4)] The dog visits the rabbit.[(triple5)] The dog visits the tiger.[(triple6)] The rabbit is big.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is not kind.[(triple9)] The rabbit is young.[(triple10)] The rabbit sees the tiger.[(triple11)] The rabbit visits the dog.[(triple12)] The rabbit visits the tiger.[(triple13)] The tiger is round.[(triple14)] The tiger likes the dog.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The tiger likes the rabbit.[(((triple11) -> rule1))]