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