The cow chases the mouse. The cow is kind. The cow is not red. The cow likes the mouse. The cow sees the lion. The lion chases the mouse. The lion is not green. The lion likes the cow. The lion likes the mouse. The mouse likes the cow. If someone sees the mouse then the mouse is red. If someone chases the cow then the cow does not chase the lion. If someone chases the mouse and they do not chase the cow then the cow does not like the lion. If the lion is green and the lion is cold then the lion does not chase the mouse. If the lion is cold and the lion is not young then the lion does not like the mouse. If someone likes the mouse and they chase the mouse then they like the lion. If the lion sees the cow and the lion is young then the lion likes the cow. If someone is green then they are not red.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If someone sees the mouse then the mouse is red.
((("someone" "sees" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If someone chases the cow then the cow does not chase the lion.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "lion" "-"))
If someone chases the mouse and they do not chase the cow then the cow does not like the lion.
((("someone" "chases" "mouse" "+") ("someone" "chases" "cow" "~")) -> ("cow" "likes" "lion" "-"))
If the lion is green and the lion is cold then the lion does not chase the mouse.
((("lion" "is" "green" "+") ("lion" "is" "cold" "+")) -> ("lion" "chases" "mouse" "-"))
If the lion is cold and the lion is not young then the lion does not like the mouse.
((("lion" "is" "cold" "+") ("lion" "is" "young" "~")) -> ("lion" "likes" "mouse" "-"))
If someone likes the mouse and they chase the mouse then they like the lion.
((("someone" "likes" "mouse" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "likes" "lion" "+"))
If the lion sees the cow and the lion is young then the lion likes the cow.
((("lion" "sees" "cow" "+") ("lion" "is" "young" "+")) -> ("lion" "likes" "cow" "+"))
If someone is green then they are not red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "-"))
The lion chases the mouse.
True
1
proof
[(triple6)]
("lion" "chases" "mouse" "+")
triple6
The lion does not like the mouse.
False
1
inv-proof
[(triple9)]
("lion" "likes" "mouse" "-")
triple9
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "red" "-")
The mouse sees the cow.
Unknown
random
[@0: The mouse sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "cow" "+")
@0: The cow chases the mouse.[(triple1)] The cow is kind.[(triple2)] The cow is not red.[(triple3)] The cow likes the mouse.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the mouse.[(triple6)] The lion is not green.[(triple7)] The lion likes the cow.[(triple8)] The lion likes the mouse.[(triple9)] The mouse likes the cow.[(triple10)] @1: The cow likes the lion.[(((triple4 triple1) -> rule6))] The lion likes the lion.[(((triple9 triple6) -> rule6))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is not red.
("cow" "is" "red" "-")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple4
The cow sees the lion.
("cow" "sees" "lion" "+")
triple5
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple6
The lion is not green.
("lion" "is" "green" "-")
triple7
The lion likes the cow.
("lion" "likes" "cow" "+")
triple8
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple9
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple10
The cow likes the lion.
("cow" "likes" "lion" "+")
((triple4 triple1) -> (rule6 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple9 triple6) -> (rule6 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1