The cat chases the cow. The cat is green. The cat likes the lion. The cat sees the cow. The cat sees the dog. The cow sees the cat. The dog is green. The lion is blue. The lion likes the cat. The lion does not see the cow. If something sees the cow then it does not chase the cat. If something likes the lion then it is kind. All kind things are not nice. If something chases the cat then the cat sees the lion. If something likes the lion then it is blue. If something is blue and it chases the cow then it sees the dog.
The lion sees the dog.
@0: The cat chases the cow.[(triple1)] The cat is green.[(triple2)] The cat likes the lion.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the dog.[(triple5 OR ((((triple3) -> rule5) triple1) -> rule6))] The cow sees the cat.[(triple6)] The dog is green.[(triple7)] The lion does not see the cow.[(triple10)] The lion is blue.[(triple8)] The lion likes the cat.[(triple9)] @1: The cat does not chase the cat.[(((triple4) -> rule1))] The cat is blue.[(((triple3) -> rule5))] The cat is kind.[(((triple3) -> rule2))] @2: The cat is not nice.[(((((triple3) -> rule2)) -> rule3))]