The cat chases the dog. The cat likes the cow. The cow chases the lion. The cow is cold. The cow likes the lion. The dog is blue. The dog is nice. The dog needs the cat. The lion is blue. The lion does not need the cat. If the lion chases the cow then the cow does not chase the cat. If the cat is big and the cat does not like the dog then the dog does not chase the lion. If someone is nice then they like the cat. If someone is round then they like the cat. If someone likes the cat then they need the cat. If someone chases the dog then they are nice. If someone chases the dog and they do not need the lion then they are nice. If someone likes the lion then they are round.
The cow needs the cat.
@0: The cat chases the dog.[(triple1)] The cat likes the cow.[(triple2)] The cow chases the lion.[(triple3)] The cow is cold.[(triple4)] The cow likes the lion.[(triple5)] The dog is blue.[(triple6)] The dog is nice.[(triple7)] The dog needs the cat.[(triple8 OR ((((triple7) -> rule3)) -> rule5))] The lion does not need the cat.[(triple10)] The lion is blue.[(triple9)] @1: The cat is nice.[(((triple1) -> rule6))] The cow is round.[(((triple5) -> rule8))] The dog likes the cat.[(((triple7) -> rule3))] @2: The cat likes the cat.[(((((triple1) -> rule6)) -> rule3))] The cow likes the cat.[(((((triple5) -> rule8)) -> rule4))] @3: The cat needs the cat.[(((((((triple1) -> rule6)) -> rule3)) -> rule5))] The cow needs the cat.[(((((((triple5) -> rule8)) -> rule4)) -> rule5))]