The cat chases the cow. The cat chases the lion. The cat eats the cow. The cat eats the lion. The cat is blue. The cat likes the cow. The cat does not like the lion. The cow eats the cat. The cow does not eat the lion. The cow is green. The cow likes the lion. The lion chases the cat. The lion eats the cat. The lion is not kind. The lion likes the cow. If someone chases the lion and they are blue then they are rough.
The cow is not rough.
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat does not like the lion.[(triple7)] The cat eats the cow.[(triple3)] The cat eats the lion.[(triple4)] The cat is blue.[(triple5)] The cat likes the cow.[(triple6)] The cow does not eat the lion.[(triple9)] The cow eats the cat.[(triple8)] The cow is green.[(triple10)] The cow likes the lion.[(triple11)] The lion chases the cat.[(triple12)] The lion eats the cat.[(triple13)] The lion is not kind.[(triple14)] The lion likes the cow.[(triple15)] @1: The cat is rough.[(((triple2 triple5) -> rule1))]