The cat is kind. The cat is nice. The cat likes the mouse. The lion likes the cat. The lion does not need the cat. The lion needs the tiger. The lion visits the mouse. The mouse likes the cat. The mouse visits the cat. The tiger is red. The tiger is round. The tiger visits the lion. If someone is red and they like the tiger then the tiger is nice. If someone is round then they do not like the tiger. If someone likes the cat then the cat needs the mouse. If someone visits the lion then they are young. If the lion needs the tiger then the lion does not visit the tiger. If the lion needs the cat then the lion visits the tiger. If someone likes the cat and they do not like the mouse then they do not visit the mouse. If the mouse visits the lion and the mouse visits the tiger then the lion likes the cat.
The lion likes the cat.
@0: The cat is kind.[(triple1)] The cat is nice.[(triple2)] The cat likes the mouse.[(triple3)] The lion does not need the cat.[(triple5)] The lion likes the cat.[(triple4)] The lion needs the tiger.[(triple6)] The lion visits the mouse.[(triple7)] The mouse likes the cat.[(triple8)] The mouse visits the cat.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11)] The tiger visits the lion.[(triple12)] @1: The cat needs the mouse.[(((triple4) -> rule3) OR ((triple8) -> rule3))] The lion does not visit the tiger.[(((triple6) -> rule5))] The tiger does not like the tiger.[(((triple11) -> rule2))] The tiger is young.[(((triple12) -> rule4))]