The bear is nice. The bear is young. The cat visits the mouse. The cow sees the cat. The cow visits the cat. The mouse eats the bear. The mouse eats the cat. The mouse sees the cat. The mouse sees the cow. The mouse visits the cat. If someone sees the cow then the cow visits the mouse. If someone is red then they visit the bear. If someone visits the cow then the cow is green. If someone eats the bear then the bear visits the cow. If the mouse visits the cow and the mouse is young then the mouse sees the cow. If someone visits the cat then the cat visits the bear. If the cow is big then the cow visits the mouse. If someone is red then they see the cat.
The cat sees the mouse.
@0: The bear is nice.[(triple1)] The bear is young.[(triple2)] The cat visits the mouse.[(triple3)] The cow sees the cat.[(triple4)] The cow visits the cat.[(triple5)] The mouse eats the bear.[(triple6)] The mouse eats the cat.[(triple7)] The mouse sees the cat.[(triple8)] The mouse sees the cow.[(triple9)] The mouse visits the cat.[(triple10)] @1: The bear visits the cow.[(((triple6) -> rule4))] The cat visits the bear.[(((triple10) -> rule6) OR ((triple5) -> rule6))] The cow visits the mouse.[(((triple9) -> rule1))] @2: The cow is green.[(((((triple6) -> rule4)) -> rule3))]