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