The lion chases the mouse. The lion is rough. The lion needs the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is cold. The mouse is green. The mouse is kind. The mouse is round. The mouse needs the lion. If something is cold and not green then it eats the mouse. If something needs the lion and it does not chase the lion then it is kind. If something is green then it is round. If something chases the mouse then it does not eat the lion. If the lion is not round and the lion does not need the mouse then the lion chases the mouse. If something needs the mouse and the mouse eats the lion then the lion eats the mouse.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If something is cold and not green then it eats the mouse.
((("something" "is" "cold" "+") ("something" "is" "green" "~")) -> ("something" "eats" "mouse" "+"))
If something needs the lion and it does not chase the lion then it is kind.
((("something" "needs" "lion" "+") ("something" "chases" "lion" "~")) -> ("something" "is" "kind" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something chases the mouse then it does not eat the lion.
((("something" "chases" "mouse" "+")) -> ("something" "eats" "lion" "-"))
If the lion is not round and the lion does not need the mouse then the lion chases the mouse.
((("lion" "is" "round" "~") ("lion" "needs" "mouse" "~")) -> ("lion" "chases" "mouse" "+"))
If something needs the mouse and the mouse eats the lion then the lion eats the mouse.
((("something" "needs" "mouse" "+") ("mouse" "eats" "lion" "+")) -> ("lion" "eats" "mouse" "+"))
The mouse eats the lion.
True
1
proof
[(triple5)]
("mouse" "eats" "lion" "+")
triple5
The mouse does not eat the lion.
False
1
inv-proof
[(triple5)]
("mouse" "eats" "lion" "-")
triple5
The lion eats the mouse.
True
3
proof
[(((triple3 triple5) -> rule6))]
("lion" "eats" "mouse" "+")
((triple3 triple5) -> (rule6 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion eats the lion.
False
2
inv-proof
[(((triple1) -> rule4))]
("lion" "eats" "lion" "+")
((triple1) -> (rule4 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The lion is kind.
Unknown
rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "kind" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The lion chases the mouse.[(triple1)] The lion is rough.[(triple2)] The lion needs the mouse.[(triple3)] The mouse chases the lion.[(triple4)] The mouse eats the lion.[(triple5)] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] The mouse is kind.[(triple8)] The mouse is round.[(triple9 OR ((triple7) -> rule3))] The mouse needs the lion.[(triple10)] @1: The lion does not eat the lion.[(((triple1) -> rule4))] The lion eats the mouse.[(((triple3 triple5) -> rule6))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple2
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple3
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple4
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
((triple7) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10
The lion does not eat the lion.
("lion" "eats" "lion" "-")
((triple1) -> (rule4 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
((triple3 triple5) -> (rule6 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1