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