The cow chases the mouse. The cow is nice. The cow is red. The cow is young. The cow likes the mouse. The cow sees the mouse. The mouse is not green. The mouse is young. The mouse likes the rabbit. The mouse does not see the cow. The rabbit chases the cow. The rabbit does not chase the mouse. The rabbit is green. The rabbit is round. The rabbit sees the cow. The rabbit sees the mouse. If someone likes the mouse and they see the cow then the cow chases the rabbit.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone likes the mouse and they see the cow then the cow chases the rabbit.
((("someone" "likes" "mouse" "+") ("someone" "sees" "cow" "+")) -> ("cow" "chases" "rabbit" "+"))
The rabbit chases the cow.
True
1
proof
[(triple11)]
("rabbit" "chases" "cow" "+")
triple11
The rabbit is not green.
False
1
inv-proof
[(triple13)]
("rabbit" "is" "green" "-")
triple13
The cow does not chase the rabbit.
Unknown
inv-rconc
[@1: The cow chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "rabbit" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The cow chases the mouse.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is young.[(triple4)] The cow likes the mouse.[(triple5)] The cow sees the mouse.[(triple6)] The mouse does not see the cow.[(triple10)] The mouse is not green.[(triple7)] The mouse is young.[(triple8)] The mouse likes the rabbit.[(triple9)] The rabbit chases the cow.[(triple11)] The rabbit does not chase the mouse.[(triple12)] The rabbit is green.[(triple13)] The rabbit is round.[(triple14)] The rabbit sees the cow.[(triple15)] The rabbit sees the mouse.[(triple16)]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple5
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple6
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
triple10
The mouse is not green.
("mouse" "is" "green" "-")
triple7
The mouse is young.
("mouse" "is" "young" "+")
triple8
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple9
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple11
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple15
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple16