The bear is green. The bear likes the cow. The bear likes the mouse. The bear visits the cow. The cow eats the mouse. The cow visits the mouse. The mouse eats the bear. The mouse eats the cow. The mouse likes the cow. The mouse visits the cow. If the bear is young and the bear visits the cow then the bear likes the mouse. If someone is nice then they visit the mouse. If the cow is round and the cow is rough then the cow likes the bear. If someone eats the mouse then the mouse visits the bear. If the bear eats the mouse then the mouse is young. If the cow is green then the cow visits the mouse. If the bear eats the cow then the cow visits the mouse. If someone is green then they are nice.
The mouse is round.
@0: The bear is green.[(triple1)] The bear likes the cow.[(triple2)] The bear likes the mouse.[(triple3)] The bear visits the cow.[(triple4)] The cow eats the mouse.[(triple5)] The cow visits the mouse.[(triple6)] The mouse eats the bear.[(triple7)] The mouse eats the cow.[(triple8)] The mouse likes the cow.[(triple9)] The mouse visits the cow.[(triple10)] @1: The bear is nice.[(((triple1) -> rule8))] The mouse visits the bear.[(((triple5) -> rule4))] @2: The bear visits the mouse.[(((((triple1) -> rule8)) -> rule2))]