The cat is blue. The cow is cold. The cow likes the cat. The lion likes the cat. The lion likes the cow. The lion visits the cat. The tiger sees the cat. The tiger sees the cow. The tiger sees the lion. The tiger visits the cat. If someone is rough and they see the tiger then they are not round. If someone likes the cow and they see the lion then they are big. If someone is blue and they do not like the cow then they do not visit the lion. If the cat is not cold then the cat visits the tiger. If someone sees the cat then they like the lion. If someone is rough and they see the cow then the cow does not like the lion. If someone sees the cow then they are rough. If the cow likes the cat then the cow is rough.
The lion visits the tiger.
@0: The cat is blue.[(triple1)] The cow is cold.[(triple2)] The cow likes the cat.[(triple3)] The lion likes the cat.[(triple4)] The lion likes the cow.[(triple5)] The lion visits the cat.[(triple6)] The tiger sees the cat.[(triple7)] The tiger sees the cow.[(triple8)] The tiger sees the lion.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cow is rough.[(((triple3) -> rule8))] The tiger is rough.[(((triple8) -> rule7))] The tiger likes the lion.[(((triple7) -> rule5))] @2: The cow does not like the lion.[(((((triple8) -> rule7) triple8) -> rule6))]