The cat chases the lion. The cat is big. The cat is blue. The cat likes the lion. The cat needs the lion. The lion chases the cat. The lion is big. The lion is blue. The lion is kind. The lion is rough. The lion likes the cat. The lion needs the cat. If the cat likes the lion then the cat chases the lion. If something chases the lion and it likes the cat then the cat chases the lion.
The cat is not blue.
@0: The cat chases the lion.[(triple1 OR ((triple4) -> rule1))] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat likes the lion.[(triple4)] The cat needs the lion.[(triple5)] The lion chases the cat.[(triple6)] The lion is big.[(triple7)] The lion is blue.[(triple8)] The lion is kind.[(triple9)] The lion is rough.[(triple10)] The lion likes the cat.[(triple11)] The lion needs the cat.[(triple12)]