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