The cow chases the mouse. The cow does not like the mouse. The mouse does not chase the rabbit. The mouse is blue. The mouse is kind. The mouse is red. The mouse likes the cow. The mouse likes the tiger. The mouse sees the cow. The rabbit is blue. The rabbit is red. The rabbit likes the cow. The tiger does not chase the mouse. The tiger is cold. The tiger likes the cow. The tiger sees the rabbit. If someone sees the tiger then the tiger is kind. If someone chases the mouse and the mouse is not kind then the mouse sees the cow. If the tiger chases the cow and the tiger likes the rabbit then the rabbit likes the tiger. If someone is kind then they like the tiger. If the mouse is kind then the mouse sees the tiger. If the cow chases the mouse then the cow is red. If someone likes the cow then the cow is not cold. If someone chases the mouse then the mouse is cold.
The cow does not like the tiger.
@0: The cow chases the mouse.[(triple1)] The cow does not like the mouse.[(triple2)] The mouse does not chase the rabbit.[(triple3)] The mouse is blue.[(triple4)] The mouse is kind.[(triple5)] The mouse is red.[(triple6)] The mouse likes the cow.[(triple7)] The mouse likes the tiger.[(triple8 OR ((triple5) -> rule4))] The mouse sees the cow.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is red.[(triple11)] The rabbit likes the cow.[(triple12)] The tiger does not chase the mouse.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the cow.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The cow is not cold.[(((triple12) -> rule7) OR ((triple15) -> rule7) OR ((triple7) -> rule7))] The cow is red.[(((triple1) -> rule6))] The mouse is cold.[(((triple1) -> rule8))] The mouse sees the tiger.[(((triple5) -> rule5))] @2: The tiger is kind.[(((((triple5) -> rule5)) -> rule1))] @3: The tiger likes the tiger.[(((((((triple5) -> rule5)) -> rule1)) -> rule4))]