The cow is red. The cow is rough. The cow likes the rabbit. The mouse is blue. The mouse is cold. The mouse likes the cow. The mouse likes the rabbit. The mouse sees the cow. The rabbit is blue. The rabbit is not cold. The rabbit likes the mouse. The rabbit sees the cow. If the cow sees the rabbit and the cow does not need the rabbit then the cow is rough. If the rabbit likes the cow and the rabbit is red then the cow is not rough. If someone sees the cow then they need the cow. If someone is red then they need the cow. If someone needs the rabbit then the rabbit is not cold. If someone needs the mouse then the mouse is red.
The cow is red.
@0: The cow is red.[(triple1)] The cow is rough.[(triple2)] The cow likes the rabbit.[(triple3)] The mouse is blue.[(triple4)] The mouse is cold.[(triple5)] The mouse likes the cow.[(triple6)] The mouse likes the rabbit.[(triple7)] The mouse sees the cow.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is not cold.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit sees the cow.[(triple12)] @1: The cow needs the cow.[(((triple1) -> rule4))] The mouse needs the cow.[(((triple8) -> rule3))] The rabbit needs the cow.[(((triple12) -> rule3))]