The lion chases the rabbit. The lion does not eat the mouse. The lion eats the rabbit. The lion is round. The mouse chases the lion. The mouse sees the rabbit. The rabbit chases the lion. The rabbit eats the squirrel. The rabbit is blue. The rabbit is kind. The rabbit is round. The rabbit sees the mouse. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel does not eat the lion. The squirrel does not eat the mouse. If something chases the lion and the lion eats the rabbit then the lion does not chase the squirrel. If something is kind then it eats the rabbit. If something is blue and not round then it does not eat the rabbit. If something sees the squirrel and it eats the mouse then the mouse does not chase the squirrel. If something eats the lion then it sees the rabbit. If the mouse eats the squirrel then the squirrel chases the lion. If something sees the squirrel and the squirrel eats the lion then the lion is blue. If something eats the lion then the lion eats the squirrel.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is round.
("lion" "is" "round" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel does not eat the lion.
("squirrel" "eats" "lion" "-")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
If something chases the lion and the lion eats the rabbit then the lion does not chase the squirrel.
((("something" "chases" "lion" "+") ("lion" "eats" "rabbit" "+")) -> ("lion" "chases" "squirrel" "-"))
If something is kind then it eats the rabbit.
((("something" "is" "kind" "+")) -> ("something" "eats" "rabbit" "+"))
If something is blue and not round then it does not eat the rabbit.
((("something" "is" "blue" "+") ("something" "is" "round" "~")) -> ("something" "eats" "rabbit" "-"))
If something sees the squirrel and it eats the mouse then the mouse does not chase the squirrel.
((("something" "sees" "squirrel" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "chases" "squirrel" "-"))
If something eats the lion then it sees the rabbit.
((("something" "eats" "lion" "+")) -> ("something" "sees" "rabbit" "+"))
If the mouse eats the squirrel then the squirrel chases the lion.
((("mouse" "eats" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If something sees the squirrel and the squirrel eats the lion then the lion is blue.
((("something" "sees" "squirrel" "+") ("squirrel" "eats" "lion" "+")) -> ("lion" "is" "blue" "+"))
If something eats the lion then the lion eats the squirrel.
((("something" "eats" "lion" "+")) -> ("lion" "eats" "squirrel" "+"))
The squirrel chases the rabbit.
True
1
proof
[(triple14)]
("squirrel" "chases" "rabbit" "+")
triple14
The rabbit does not chase the lion.
False
1
inv-proof
[(triple7)]
("rabbit" "chases" "lion" "-")
triple7
The lion does not chase the squirrel.
True
3
proof
[(((triple5 triple3) -> rule1) OR ((triple7 triple3) -> rule1))]
("lion" "chases" "squirrel" "-")
((triple5 triple3) -> (rule1 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
((triple7 triple3) -> (rule1 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple10) -> rule2))]
("rabbit" "eats" "rabbit" "-")
((triple10) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The squirrel does not chase the lion.
Unknown
inv-rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "lion" "-")
The lion sees the rabbit.
Unknown
rconc
[@1: The lion sees the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "sees" "rabbit" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The lion chases the rabbit.[(triple1)] The lion does not eat the mouse.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is round.[(triple4)] The mouse chases the lion.[(triple5)] The mouse sees the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit eats the squirrel.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is round.[(triple11)] The rabbit sees the mouse.[(triple12)] The rabbit sees the squirrel.[(triple13)] The squirrel chases the rabbit.[(triple14)] The squirrel does not eat the lion.[(triple15)] The squirrel does not eat the mouse.[(triple16)] @1: The lion does not chase the squirrel.[(((triple5 triple3) -> rule1) OR ((triple7 triple3) -> rule1))] The rabbit eats the rabbit.[(((triple10) -> rule2))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
triple2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple3
The lion is round.
("lion" "is" "round" "+")
triple4
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple6
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple7
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple12
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple13
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple14
The squirrel does not eat the lion.
("squirrel" "eats" "lion" "-")
triple15
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple16
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
((triple5 triple3) -> (rule1 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
((triple7 triple3) -> (rule1 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple10) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1