The bear chases the cow. The bear chases the tiger. The bear is cold. The cow chases the bear. The cow chases the rabbit. The cow is rough. The cow visits the tiger. The rabbit chases the tiger. The rabbit is blue. The rabbit is cold. The rabbit is rough. The rabbit is round. The tiger chases the bear. The tiger chases the cow. The tiger is rough. The tiger visits the cow. If someone is cold then they chase the rabbit. If the bear visits the tiger then the tiger needs the cow. If someone needs the cow and the cow chases the bear then the bear chases the rabbit. If someone visits the cow then they visit the bear. If someone chases the rabbit then they visit the cow. If someone needs the cow then they are cold.
The bear does not chase the cow.
@0: The bear chases the cow.[(triple1)] The bear chases the tiger.[(triple2)] The bear is cold.[(triple3)] The cow chases the bear.[(triple4)] The cow chases the rabbit.[(triple5)] The cow is rough.[(triple6)] The cow visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is rough.[(triple11)] The rabbit is round.[(triple12)] The tiger chases the bear.[(triple13)] The tiger chases the cow.[(triple14)] The tiger is rough.[(triple15)] The tiger visits the cow.[(triple16)] @1: The bear chases the rabbit.[(((triple3) -> rule1))] The cow visits the cow.[(((triple5) -> rule5))] The rabbit chases the rabbit.[(((triple10) -> rule1))] The tiger visits the bear.[(((triple16) -> rule4))] @2: The bear visits the cow.[(((((triple3) -> rule1)) -> rule5))] The cow visits the bear.[(((((triple5) -> rule5)) -> rule4))] The rabbit visits the cow.[(((((triple10) -> rule1)) -> rule5))] @3: The bear visits the bear.[(((((((triple3) -> rule1)) -> rule5)) -> rule4))] The rabbit visits the bear.[(((((((triple10) -> rule1)) -> rule5)) -> rule4))]