The cat eats the cow. The cat is big. The cat sees the lion. The cow eats the cat. The cow eats the lion. The cow is blue. The cow is cold. The cow sees the cat. The cow sees the lion. The cow visits the cat. The cow visits the lion. The lion eats the cow. The lion is green. The lion sees the cat. The lion sees the cow. The lion visits the cat. If the cat sees the lion and the lion eats the cat then the lion is blue. If someone visits the cow then they see the cat. If someone is blue then they are young. If the cat eats the lion and the cat eats the cow then the lion eats the cat. If someone eats the cat then the cat eats the lion. Young people are blue.
The lion does not eat the cow.
@0: The cat eats the cow.[(triple1)] The cat is big.[(triple2)] The cat sees the lion.[(triple3)] The cow eats the cat.[(triple4)] The cow eats the lion.[(triple5)] The cow is blue.[(triple6)] The cow is cold.[(triple7)] The cow sees the cat.[(triple8)] The cow sees the lion.[(triple9)] The cow visits the cat.[(triple10)] The cow visits the lion.[(triple11)] The lion eats the cow.[(triple12)] The lion is green.[(triple13)] The lion sees the cat.[(triple14)] The lion sees the cow.[(triple15)] The lion visits the cat.[(triple16)] @1: The cat eats the lion.[(((triple4) -> rule5))] The cow is young.[(((triple6) -> rule3))] @2: The lion eats the cat.[(((((triple4) -> rule5) triple1) -> rule4))] @3: The lion is blue.[(((triple3 ((((triple4) -> rule5) triple1) -> rule4)) -> rule1))] @4: The lion is young.[(((((triple3 ((((triple4) -> rule5) triple1) -> rule4)) -> rule1)) -> rule3))]