The bear is cold. The cow chases the bear. The cow eats the bear. The cow eats the lion. The cow is round. The cow visits the rabbit. The lion chases the cow. The lion is green. The rabbit eats the bear. The rabbit is round. If someone eats the bear and they visit the rabbit then the rabbit does not chase the lion. If someone visits the bear then the bear visits the rabbit. If someone chases the bear then they visit the lion. If someone is round then they are cold. If someone is cold then they do not visit the cow. If someone is round and they do not visit the cow then they chase the cow.
The rabbit visits the cow.
@0: The bear is cold.[(triple1)] The cow chases the bear.[(triple2)] The cow eats the bear.[(triple3)] The cow eats the lion.[(triple4)] The cow is round.[(triple5)] The cow visits the rabbit.[(triple6)] The lion chases the cow.[(triple7)] The lion is green.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is round.[(triple10)] @1: The bear does not visit the cow.[(((triple1) -> rule5))] The cow is cold.[(((triple5) -> rule4))] The cow visits the lion.[(((triple2) -> rule3))] The rabbit does not chase the lion.[(((triple3 triple6) -> rule1))] The rabbit is cold.[(((triple10) -> rule4))] @2: The cow does not visit the cow.[(((((triple5) -> rule4)) -> rule5))] The rabbit does not visit the cow.[(((((triple10) -> rule4)) -> rule5))] @3: The cow chases the cow.[(((triple5 ((((triple5) -> rule4)) -> rule5)) -> rule6))] The rabbit chases the cow.[(((triple10 ((((triple10) -> rule4)) -> rule5)) -> rule6))]