The cat chases the lion. The cat eats the lion. The cat is blue. The cat is not red. The cat likes the lion. The lion chases the cat. The lion eats the cat. The lion is big. The lion is kind. The lion is red. The lion is round. The lion likes the cat. If the cat likes the lion and the cat chases the lion then the lion eats the cat. If someone chases the lion and they are not round then the lion does not chase the cat. If someone likes the lion and the lion is kind then they eat the lion.
The cat is blue.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2 OR ((triple5 triple9) -> rule3))] The cat is blue.[(triple3)] The cat is not red.[(triple4)] The cat likes the lion.[(triple5)] The lion chases the cat.[(triple6)] The lion eats the cat.[(triple7 OR ((triple5 triple1) -> rule1))] The lion is big.[(triple8)] The lion is kind.[(triple9)] The lion is red.[(triple10)] The lion is round.[(triple11)] The lion likes the cat.[(triple12)]