The cat needs the lion. The cat needs the tiger. The cat does not visit the cow. The cow is young. The cow sees the tiger. The lion is big. The lion is not nice. The lion needs the cat. The lion does not visit the cat. The tiger is not cold. The tiger needs the cow. The tiger visits the lion. If someone is cold then they need the cat. If someone visits the tiger then they do not see the tiger. If someone is nice then they see the tiger. If someone sees the cat then the cat needs the cow. If someone needs the tiger and they do not visit the cat then they see the cat. If someone visits the lion then the lion needs the tiger. If someone needs the cat and they do not visit the lion then the lion is cold. If someone visits the cat and they do not see the tiger then the tiger visits the cow.
The tiger sees the tiger.
@0: The cat does not visit the cow.[(triple3)] The cat needs the lion.[(triple1)] The cat needs the tiger.[(triple2)] The cow is young.[(triple4)] The cow sees the tiger.[(triple5)] The lion does not visit the cat.[(triple9)] The lion is big.[(triple6)] The lion is not nice.[(triple7)] The lion needs the cat.[(triple8)] The tiger is not cold.[(triple10)] The tiger needs the cow.[(triple11)] The tiger visits the lion.[(triple12)] @1: The lion needs the tiger.[(((triple12) -> rule6))] @2: The lion sees the cat.[(((((triple12) -> rule6) triple9) -> rule5))] @3: The cat needs the cow.[(((((((triple12) -> rule6) triple9) -> rule5)) -> rule4))]