The cat chases the lion. The cat likes the lion. The lion chases the cat. The lion is not kind. The lion is red. The lion likes the cat. The lion does not see the cat. If someone likes the lion then they are not big. If someone is red and they chase the lion then the lion does not chase the cat. If someone chases the lion and they do not see the cat then they are rough. If someone chases the lion and the lion is green then the lion does not like the cat. If someone sees the lion and they chase the cat then the lion likes the cat. If someone likes the cat then they like the lion.
The lion is not big.
@0: The cat chases the lion.[(triple1)] The cat likes the lion.[(triple2)] The lion chases the cat.[(triple3)] The lion does not see the cat.[(triple7)] The lion is not kind.[(triple4)] The lion is red.[(triple5)] The lion likes the cat.[(triple6)] @1: The cat is not big.[(((triple2) -> rule1))] The lion likes the lion.[(((triple6) -> rule6))] @2: The lion is not big.[(((((triple6) -> rule6)) -> rule1))]