The cat is cold. The cat is rough. The cat visits the cow. The cow eats the cat. The cow is green. The cow is young. The cow sees the mouse. The cow visits the mouse. The mouse is rough. The mouse sees the cat. If someone is cold then they are young. If someone visits the mouse and the mouse is cold then the mouse eats the cow. If someone visits the cat then the cat eats the mouse. If the cat eats the mouse then the cat sees the cow. If someone is young and they visit the cat then they are cold. If someone visits the cow then the cow eats the mouse. All rough people are green. If someone eats the cat and they see the cat then the cat eats the mouse.
The mouse sees the cow.
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2)] The cat visits the cow.[(triple3)] The cow eats the cat.[(triple4)] The cow is green.[(triple5)] The cow is young.[(triple6)] The cow sees the mouse.[(triple7)] The cow visits the mouse.[(triple8)] The mouse is rough.[(triple9)] The mouse sees the cat.[(triple10)] @1: The cat is green.[(((triple2) -> rule7))] The cat is young.[(((triple1) -> rule1))] The cow eats the mouse.[(((triple3) -> rule6))] The mouse is green.[(((triple9) -> rule7))]