The cat chases the lion. The cat eats the lion. The cat is nice. The cat is rough. The lion chases the cat. The lion eats the cat. The lion is green. The lion is nice. The lion is rough. The lion likes the cat. If someone eats the lion and they chase the lion then they are nice. If someone chases the cat then they eat the cat. If someone likes the lion then the lion does not chase the cat. If someone eats the lion then they chase the lion. If someone likes the lion then the lion does not eat the cat. If someone likes the lion and they are not nice then the lion eats the cat.
The cat does not eat the cat.
@0: The cat chases the lion.[(triple1 OR ((triple2) -> rule4))] The cat eats the lion.[(triple2)] The cat is nice.[(triple3 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule4)) -> rule1))] The cat is rough.[(triple4)] The lion chases the cat.[(triple5)] The lion eats the cat.[(triple6 OR ((triple5) -> rule2))] The lion is green.[(triple7)] The lion is nice.[(triple8)] The lion is rough.[(triple9)] The lion likes the cat.[(triple10)]