The dog chases the lion. The dog is blue. The dog is cold. The dog is red. The dog likes the lion. The dog needs the lion. The lion does not chase the dog. The lion is blue. The lion is not kind. The lion is red. The lion likes the dog. The lion needs the dog. If something is cold then it likes the lion. All big things are blue.
The dog does not chase the lion.
@0: The dog chases the lion.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is red.[(triple4)] The dog likes the lion.[(triple5 OR ((triple3) -> rule1))] The dog needs the lion.[(triple6)] The lion does not chase the dog.[(triple7)] The lion is blue.[(triple8)] The lion is not kind.[(triple9)] The lion is red.[(triple10)] The lion likes the dog.[(triple11)] The lion needs the dog.[(triple12)]