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