The cat is green. The cat likes the dog. The cow is not red. The cow needs the dog. The cow sees the dog. The dog is nice. The dog needs the cat. The dog sees the cow. The mouse is blue. The mouse is green. The mouse is not nice. The mouse needs the cat. The mouse needs the cow. The mouse needs the dog. The mouse sees the cow. If something likes the cat and the cat needs the cow then the cow is nice. If something sees the mouse then it is cold. If something needs the cow then the cow sees the mouse. If something sees the cow then it needs the cow. If something needs the cat then the cat sees the dog. If something sees the dog then the dog likes the cat. If something is cold and red then it likes the mouse. If the cat is not green then the cat does not see the mouse.
The cat needs the mouse.
@0: The cat is green.[(triple1)] The cat likes the dog.[(triple2)] The cow is not red.[(triple3)] The cow needs the dog.[(triple4)] The cow sees the dog.[(triple5)] The dog is nice.[(triple6)] The dog needs the cat.[(triple7)] The dog sees the cow.[(triple8)] The mouse is blue.[(triple9)] The mouse is green.[(triple10)] The mouse is not nice.[(triple11)] The mouse needs the cat.[(triple12)] The mouse needs the cow.[(triple13 OR ((triple15) -> rule4))] The mouse needs the dog.[(triple14)] The mouse sees the cow.[(triple15)] @1: The cat sees the dog.[(((triple12) -> rule5) OR ((triple7) -> rule5))] The cow sees the mouse.[(((triple13) -> rule3) OR ((((triple15) -> rule4)) -> rule3) OR ((((triple8) -> rule4)) -> rule3))] The dog likes the cat.[(((triple5) -> rule6) OR ((((triple12) -> rule5)) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] The dog needs the cow.[(((triple8) -> rule4))] @2: The cow is cold.[(((((triple13) -> rule3)) -> rule2) OR ((((((triple15) -> rule4)) -> rule3)) -> rule2) OR ((((((triple8) -> rule4)) -> rule3)) -> rule2))]