The cow is red. The cow is young. The cow likes the dog. The cow needs the dog. The cow needs the mouse. The cow sees the dog. The cow sees the mouse. The dog is green. The dog is red. The dog is rough. The dog likes the mouse. The dog needs the cow. The dog needs the mouse. The dog sees the mouse. The mouse likes the dog. If something is young and cold then it needs the cow. If the cow likes the mouse and the mouse needs the dog then the mouse likes the dog.
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If something is young and cold then it needs the cow.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "cow" "+"))
If the cow likes the mouse and the mouse needs the dog then the mouse likes the dog.
((("cow" "likes" "mouse" "+") ("mouse" "needs" "dog" "+")) -> ("mouse" "likes" "dog" "+"))
The cow is young.
True
1
proof
[(triple2)]
("cow" "is" "young" "+")
triple2
The cow does not need the dog.
False
1
inv-proof
[(triple4)]
("cow" "needs" "dog" "-")
triple4
The mouse does not need the cow.
Unknown
inv-rconc
[@1: The mouse needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "cow" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The cow is red.[(triple1)] The cow is young.[(triple2)] The cow likes the dog.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the mouse.[(triple5)] The cow sees the dog.[(triple6)] The cow sees the mouse.[(triple7)] The dog is green.[(triple8)] The dog is red.[(triple9)] The dog is rough.[(triple10)] The dog likes the mouse.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the mouse.[(triple13)] The dog sees the mouse.[(triple14)] The mouse likes the dog.[(triple15)]
The cow is red.
("cow" "is" "red" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple4
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple5
The cow sees the dog.
("cow" "sees" "dog" "+")
triple6
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple12
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple13
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple14
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15