The cat is blue. The cat is cold. The cat is red. The cat likes the lion. The cat needs the cow. The cat visits the lion. The cow is blue. The cow is young. The cow visits the lion. The lion is red. The lion likes the cat. The lion likes the cow. The lion needs the cat. The lion visits the cat. The lion visits the cow. If someone is young and they like the lion then the lion likes the cow. If someone needs the cat and they are cold then the cat is rough. If someone is red then they need the cow. If someone likes the cat and they are young then they need the lion. If the cat needs the cow and the cow is cold then the cow visits the lion. If someone is red and rough then they like the cat. If someone visits the cat then the cat likes the cow. If someone visits the lion and the lion needs the cow then they like the cat.
The cow does not visit the cat.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is red.[(triple3)] The cat likes the lion.[(triple4)] The cat needs the cow.[(triple5 OR ((triple3) -> rule3))] The cat visits the lion.[(triple6)] The cow is blue.[(triple7)] The cow is young.[(triple8)] The cow visits the lion.[(triple9)] The lion is red.[(triple10)] The lion likes the cat.[(triple11)] The lion likes the cow.[(triple12)] The lion needs the cat.[(triple13)] The lion visits the cat.[(triple14)] The lion visits the cow.[(triple15)] @1: The cat likes the cow.[(((triple14) -> rule7))] The lion needs the cow.[(((triple10) -> rule3))] @2: The cat likes the cat.[(((triple6 ((triple10) -> rule3)) -> rule8))] The cow likes the cat.[(((triple9 ((triple10) -> rule3)) -> rule8))] @3: The cow needs the lion.[(((((triple9 ((triple10) -> rule3)) -> rule8) triple8) -> rule4))]