The cow chases the mouse. The cow is nice. The mouse chases the cow. The mouse is blue. The mouse is kind. The mouse is red. The mouse sees the cow. The mouse visits the cow. The rabbit chases the cow. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit sees the cow. The rabbit sees the mouse. The rabbit visits the cow. If something visits the rabbit then it visits the mouse. If something is red then it sees the rabbit. If something is nice and it visits the mouse then the mouse sees the rabbit. If something chases the mouse then the mouse is cold. If something is kind then it sees the cow. If something is nice then it sees the rabbit. If something sees the cow and it sees the mouse then the cow visits the rabbit. If something chases the mouse then the mouse visits the cow.
The cow does not see the cow.
@0: The cow chases the mouse.[(triple1)] The cow is nice.[(triple2)] The mouse chases the cow.[(triple3)] The mouse is blue.[(triple4)] The mouse is kind.[(triple5)] The mouse is red.[(triple6)] The mouse sees the cow.[(triple7 OR ((triple5) -> rule5))] The mouse visits the cow.[(triple8 OR ((triple1) -> rule8))] The rabbit chases the cow.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is red.[(triple13)] The rabbit sees the cow.[(triple14 OR ((triple12) -> rule5))] The rabbit sees the mouse.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The cow sees the rabbit.[(((triple2) -> rule6))] The cow visits the rabbit.[(((triple14 triple15) -> rule7) OR ((((triple12) -> rule5) triple15) -> rule7))] The mouse is cold.[(((triple1) -> rule4))] The mouse sees the rabbit.[(((triple6) -> rule2) OR ((triple2 ((((triple14 triple15) -> rule7)) -> rule1)) -> rule3) OR ((triple2 ((((((triple12) -> rule5) triple15) -> rule7)) -> rule1)) -> rule3))] The rabbit sees the rabbit.[(((triple13) -> rule2))] @2: The cow visits the mouse.[(((((triple14 triple15) -> rule7)) -> rule1) OR ((((((triple12) -> rule5) triple15) -> rule7)) -> rule1))]