The cow chases the rabbit. The cow eats the rabbit. The cow is blue. The cow is cold. The cow likes the squirrel. The lion chases the squirrel. The lion does not like the cow. The rabbit chases the squirrel. The rabbit is green. The rabbit is rough. The squirrel chases the lion. The squirrel is blue. If someone likes the rabbit and the rabbit chases the lion then they chase the squirrel. If someone likes the squirrel then they like the rabbit. If someone is green then they like the lion. If someone chases the lion then they eat the cow. If someone is rough and they like the cow then they eat the cow. If the cow is rough then the cow is green. If someone eats the rabbit then the rabbit eats the cow. If someone chases the rabbit then they are rough.
The cow is green.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow likes the squirrel.[(triple5)] The lion chases the squirrel.[(triple6)] The lion does not like the cow.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit is green.[(triple9)] The rabbit is rough.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel is blue.[(triple12)] @1: The cow is rough.[(((triple1) -> rule8))] The cow likes the rabbit.[(((triple5) -> rule2))] The rabbit eats the cow.[(((triple2) -> rule7))] The rabbit likes the lion.[(((triple9) -> rule3))] The squirrel eats the cow.[(((triple11) -> rule4))] @2: The cow is green.[(((((triple1) -> rule8)) -> rule6))] @3: The cow likes the lion.[(((((((triple1) -> rule8)) -> rule6)) -> rule3))]