The cat chases the mouse. The cat is big. The cat is green. The cat is red. The cat needs the mouse. The cat needs the rabbit. The cat sees the mouse. The mouse chases the cat. The mouse chases the rabbit. The mouse is big. The mouse is cold. The mouse needs the cat. The mouse sees the cat. The rabbit is green. The rabbit needs the mouse. If the cat sees the mouse and the mouse is round then the cat chases the rabbit. If someone needs the mouse then the mouse is red.
The rabbit chases the mouse.
@0: The cat chases the mouse.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat needs the mouse.[(triple5)] The cat needs the rabbit.[(triple6)] The cat sees the mouse.[(triple7)] The mouse chases the cat.[(triple8)] The mouse chases the rabbit.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11)] The mouse needs the cat.[(triple12)] The mouse sees the cat.[(triple13)] The rabbit is green.[(triple14)] The rabbit needs the mouse.[(triple15)] @1: The mouse is red.[(((triple15) -> rule2) OR ((triple5) -> rule2))]