The cow is kind. The cow sees the lion. The cow visits the rabbit. The lion chases the cow. The lion chases the rabbit. The lion is blue. The lion is round. The lion sees the cow. The lion visits the cow. The rabbit is green. The rabbit is kind. The rabbit sees the cow. If someone chases the lion and they are round then they are red. If the rabbit sees the cow and the cow chases the lion then the cow chases the rabbit. If someone sees the cow then the cow is round.
The rabbit visits the rabbit.
@0: The cow is kind.[(triple1)] The cow sees the lion.[(triple2)] The cow visits the rabbit.[(triple3)] The lion chases the cow.[(triple4)] The lion chases the rabbit.[(triple5)] The lion is blue.[(triple6)] The lion is round.[(triple7)] The lion sees the cow.[(triple8)] The lion visits the cow.[(triple9)] The rabbit is green.[(triple10)] The rabbit is kind.[(triple11)] The rabbit sees the cow.[(triple12)] @1: The cow is round.[(((triple12) -> rule3) OR ((triple8) -> rule3))]