The bear eats the cow. The bear eats the mouse. The bear is not cold. The bear visits the mouse. The cow chases the bear. The cow is big. The cow is cold. The cow is rough. The cow visits the bear. The mouse chases the bear. The mouse chases the cow. The mouse eats the bear. The mouse is big. The mouse is cold. The mouse visits the bear. If someone eats the bear and the bear is big then they eat the cow. If someone eats the cow then the cow is red. If someone chases the cow and they eat the cow then the cow is cold. If someone eats the bear then they are not blue. If someone eats the bear then they do not visit the cow. If someone is red then they eat the bear.
The cow eats the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the mouse.[(triple2)] The bear is not cold.[(triple3)] The bear visits the mouse.[(triple4)] The cow chases the bear.[(triple5)] The cow is big.[(triple6)] The cow is cold.[(triple7)] The cow is rough.[(triple8)] The cow visits the bear.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the cow.[(triple11)] The mouse eats the bear.[(triple12)] The mouse is big.[(triple13)] The mouse is cold.[(triple14)] The mouse visits the bear.[(triple15)] @1: The cow is red.[(((triple1) -> rule2))] The mouse does not visit the cow.[(((triple12) -> rule5))] The mouse is not blue.[(((triple12) -> rule4))] @2: The cow eats the bear.[(((((triple1) -> rule2)) -> rule6))] @3: The cow does not visit the cow.[(((((((triple1) -> rule2)) -> rule6)) -> rule5))] The cow is not blue.[(((((((triple1) -> rule2)) -> rule6)) -> rule4))]