The dog is green. The dog is kind. The dog is nice. The dog is red. The dog likes the tiger. The dog needs the tiger. The dog visits the tiger. The tiger is red. The tiger is young. The tiger likes the dog. The tiger needs the dog. The tiger visits the dog. If someone is red then they like the dog. If someone likes the dog then they need the tiger. If someone visits the tiger then the tiger is nice.
The tiger does not like the dog.
@0: The dog is green.[(triple1)] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog likes the tiger.[(triple5)] The dog needs the tiger.[(triple6 OR ((((triple4) -> rule1)) -> rule2))] The dog visits the tiger.[(triple7)] The tiger is red.[(triple8)] The tiger is young.[(triple9)] The tiger likes the dog.[(triple10 OR ((triple8) -> rule1))] The tiger needs the dog.[(triple11)] The tiger visits the dog.[(triple12)] @1: The dog likes the dog.[(((triple4) -> rule1))] The tiger is nice.[(((triple7) -> rule3))] The tiger needs the tiger.[(((triple10) -> rule2) OR ((((triple8) -> rule1)) -> rule2))]