The cow chases the dog. The cow is not red. The cow sees the dog. The cow sees the lion. The dog eats the cow. The dog is kind. The lion eats the cow. The lion is blue. The lion is kind. The lion is red. The lion is rough. The lion sees the cow. If the dog eats the cow then the dog chases the lion. If something chases the dog then it is cold. If the lion is not blue then the lion eats the cow. If something chases the dog and the dog chases the lion then the lion chases the dog. If something eats the dog and the dog does not see the cow then the dog eats the lion. If the cow does not see the dog and the cow is not kind then the dog does not eat the cow.
The dog is red.
@0: The cow chases the dog.[(triple1)] The cow is not red.[(triple2)] The cow sees the dog.[(triple3)] The cow sees the lion.[(triple4)] The dog eats the cow.[(triple5)] The dog is kind.[(triple6)] The lion eats the cow.[(triple7)] The lion is blue.[(triple8)] The lion is kind.[(triple9)] The lion is red.[(triple10)] The lion is rough.[(triple11)] The lion sees the cow.[(triple12)] @1: The cow is cold.[(((triple1) -> rule2))] The dog chases the lion.[(((triple5) -> rule1))] @2: The lion chases the dog.[(((triple1 ((triple5) -> rule1)) -> rule4))] @3: The lion is cold.[(((((triple1 ((triple5) -> rule1)) -> rule4)) -> rule2))]