The cat is cold. The cat is green. The cat is young. The cat needs the cow. The cat visits the cow. The cow is blue. The cow is cold. The cow is green. The cow is young. The cow needs the cat. The cow needs the mouse. The cow visits the cat. The mouse is cold. The mouse needs the cat. The mouse sees the cat. The mouse sees the cow. If the cow needs the cat and the cow is cold then the cat needs the mouse. If something sees the mouse then the mouse visits the cow. If something needs the cat then it visits the mouse. If something visits the cat then it sees the cow. If something is rough then it visits the mouse. If the mouse is green then the mouse is young. If something needs the mouse then it visits the cat. If the cat needs the cow then the cat is rough.
The mouse does not visit the cow.
@0: The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is young.[(triple3)] The cat needs the cow.[(triple4)] The cat visits the cow.[(triple5)] The cow is blue.[(triple6)] The cow is cold.[(triple7)] The cow is green.[(triple8)] The cow is young.[(triple9)] The cow needs the cat.[(triple10)] The cow needs the mouse.[(triple11)] The cow visits the cat.[(triple12 OR ((triple11) -> rule7))] The mouse is cold.[(triple13)] The mouse needs the cat.[(triple14)] The mouse sees the cat.[(triple15)] The mouse sees the cow.[(triple16)] @1: The cat is rough.[(((triple4) -> rule8))] The cat needs the mouse.[(((triple10 triple7) -> rule1))] The cow sees the cow.[(((triple12) -> rule4) OR ((((triple11) -> rule7)) -> rule4))] The cow visits the mouse.[(((triple10) -> rule3))] The mouse visits the mouse.[(((triple14) -> rule3))] @2: The cat visits the cat.[(((((triple10 triple7) -> rule1)) -> rule7))] The cat visits the mouse.[(((((triple4) -> rule8)) -> rule5))] @3: The cat sees the cow.[(((((((triple10 triple7) -> rule1)) -> rule7)) -> rule4))]