The cat is not rough. The cat sees the lion. The cow is rough. The cow does not like the cat. The cow likes the lion. The cow sees the rabbit. The lion chases the cow. The lion is not rough. The rabbit chases the cow. The rabbit is blue. The rabbit likes the cow. The rabbit sees the lion. If something is red then it sees the lion. If something is blue and it likes the cat then it sees the cat. If something is red then it sees the cat. If something is green then it chases the rabbit. If the rabbit is rough and the rabbit does not chase the cow then the cow chases the rabbit. If something is rough then it chases the cat. If something chases the rabbit then the rabbit is not red. If the cat is rough and the cat chases the cow then the cat chases the lion.
The cow does not see the rabbit.
@0: The cat is not rough.[(triple1)] The cat sees the lion.[(triple2)] The cow does not like the cat.[(triple4)] The cow is rough.[(triple3)] The cow likes the lion.[(triple5)] The cow sees the rabbit.[(triple6)] The lion chases the cow.[(triple7)] The lion is not rough.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit is blue.[(triple10)] The rabbit likes the cow.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The cow chases the cat.[(((triple3) -> rule6))]