The cat is kind. The cat needs the tiger. The cat visits the lion. The cow is red. The cow is young. The cow needs the lion. The cow visits the cat. The lion is young. The lion likes the cow. The lion needs the tiger. The tiger is red. The tiger likes the cow. The tiger likes the lion. The tiger needs the cow. The tiger needs the lion. The tiger visits the cat. If something likes the cat then the cat is kind. If the cow is young and the cow visits the tiger then the tiger is young. Young things are kind. If the tiger visits the lion then the lion is young. If something likes the lion then it visits the cat. If the cow needs the lion then the cow visits the tiger.
The cat does not like the cow.
@0: The cat is kind.[(triple1)] The cat needs the tiger.[(triple2)] The cat visits the lion.[(triple3)] The cow is red.[(triple4)] The cow is young.[(triple5)] The cow needs the lion.[(triple6)] The cow visits the cat.[(triple7)] The lion is young.[(triple8)] The lion likes the cow.[(triple9)] The lion needs the tiger.[(triple10)] The tiger is red.[(triple11)] The tiger likes the cow.[(triple12)] The tiger likes the lion.[(triple13)] The tiger needs the cow.[(triple14)] The tiger needs the lion.[(triple15)] The tiger visits the cat.[(triple16 OR ((triple13) -> rule5))] @1: The cow is kind.[(((triple5) -> rule3))] The cow visits the tiger.[(((triple6) -> rule6))] The lion is kind.[(((triple8) -> rule3))] @2: The tiger is young.[(((triple5 ((triple6) -> rule6)) -> rule2))] @3: The tiger is kind.[(((((triple5 ((triple6) -> rule6)) -> rule2)) -> rule3))]