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