The bear likes the rabbit. The bear visits the mouse. The cow does not chase the bear. The cow is round. The cow likes the bear. The mouse does not chase the rabbit. The mouse is blue. The mouse is green. The mouse is rough. The mouse likes the bear. The mouse likes the cow. The rabbit does not chase the mouse. The rabbit is big. The rabbit does not like the mouse. The rabbit visits the cow. If someone visits the bear then the bear chases the mouse. If someone likes the rabbit and the rabbit visits the bear then they do not like the bear. If someone chases the mouse then the mouse visits the rabbit. If the bear visits the rabbit and the rabbit visits the cow then the cow does not like the mouse. If someone likes the bear then they visit the bear. If someone is green and they visit the rabbit then they do not chase the rabbit. If someone chases the rabbit then they chase the bear. If someone is round and they do not like the mouse then they do not chase the bear.
The mouse visits the mouse.
@0: The bear likes the rabbit.[(triple1)] The bear visits the mouse.[(triple2)] The cow does not chase the bear.[(triple3)] The cow is round.[(triple4)] The cow likes the bear.[(triple5)] The mouse does not chase the rabbit.[(triple6 OR ((triple8 ((((((triple10) -> rule5)) -> rule1)) -> rule3)) -> rule6) OR ((triple8 ((((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule6))] The mouse is blue.[(triple7)] The mouse is green.[(triple8)] The mouse is rough.[(triple9)] The mouse likes the bear.[(triple10)] The mouse likes the cow.[(triple11)] The rabbit does not chase the mouse.[(triple12)] The rabbit does not like the mouse.[(triple14)] The rabbit is big.[(triple13)] The rabbit visits the cow.[(triple15)] @1: The cow visits the bear.[(((triple5) -> rule5))] The mouse visits the bear.[(((triple10) -> rule5))] @2: The bear chases the mouse.[(((((triple10) -> rule5)) -> rule1) OR ((((triple5) -> rule5)) -> rule1))] @3: The mouse visits the rabbit.[(((((((triple10) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule5)) -> rule1)) -> rule3))]