The cow eats the rabbit. The cow is green. The cow is red. The cow sees the mouse. The mouse eats the cow. The mouse is green. The mouse is nice. The mouse is round. The mouse sees the rabbit. The rabbit does not eat the cow. The rabbit eats the mouse. The rabbit is green. The rabbit is not round. The rabbit sees the cow. The rabbit sees the mouse. The rabbit visits the mouse. If someone is green and they eat the cow then they do not eat the mouse. If someone is round then they see the mouse. If someone eats the rabbit and the rabbit visits the mouse then they are nice. If someone sees the mouse then they are green. All round people are red. If someone eats the cow and the cow does not visit the mouse then the cow sees the rabbit.
The mouse visits the mouse.
@0: The cow eats the rabbit.[(triple1)] The cow is green.[(triple2 OR ((triple4) -> rule4))] The cow is red.[(triple3)] The cow sees the mouse.[(triple4)] The mouse eats the cow.[(triple5)] The mouse is green.[(triple6 OR ((((triple8) -> rule2)) -> rule4))] The mouse is nice.[(triple7)] The mouse is round.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit does not eat the cow.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is green.[(triple12 OR ((triple15) -> rule4))] The rabbit is not round.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit sees the mouse.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The cow is nice.[(((triple1 triple16) -> rule3))] The mouse does not eat the mouse.[(((triple6 triple5) -> rule1) OR ((((((triple8) -> rule2)) -> rule4) triple5) -> rule1))] The mouse is red.[(((triple8) -> rule5))] The mouse sees the mouse.[(((triple8) -> rule2))]