The cow is big. The cow is kind. The cow needs the dog. The cow needs the mouse. The cow visits the mouse. The dog is red. The dog needs the cow. The dog needs the mouse. The dog visits the cow. The dog visits the mouse. The mouse needs the cow. The mouse needs the dog. If someone is big and they see the cow then the cow visits the mouse. If someone visits the dog then they visit the cow. If someone needs the mouse then the mouse needs the cow. If someone needs the dog and the dog needs the cow then the cow needs the dog. If someone visits the mouse then the mouse sees the dog. If someone is cold then they see the dog. If someone sees the dog then they need the cow. If someone sees the dog then the dog sees the cow.
The mouse needs the cow.
@0: The cow is big.[(triple1)] The cow is kind.[(triple2)] The cow needs the dog.[(triple3 OR ((triple12 triple7) -> rule4))] The cow needs the mouse.[(triple4)] The cow visits the mouse.[(triple5)] The dog is red.[(triple6)] The dog needs the cow.[(triple7)] The dog needs the mouse.[(triple8)] The dog visits the cow.[(triple9)] The dog visits the mouse.[(triple10)] The mouse needs the cow.[(triple11 OR ((triple4) -> rule3) OR ((triple8) -> rule3) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] The mouse needs the dog.[(triple12)] @1: The mouse sees the dog.[(((triple10) -> rule5) OR ((triple5) -> rule5))] @2: The dog sees the cow.[(((((triple10) -> rule5)) -> rule8) OR ((((triple5) -> rule5)) -> rule8))]