The cat is not nice. The cat visits the mouse. The lion chases the mouse. The lion chases the squirrel. The lion is blue. The mouse chases the lion. The mouse eats the lion. The mouse eats the squirrel. The mouse does not visit the cat. The mouse visits the lion. The squirrel chases the cat. The squirrel visits the lion. If something visits the mouse and the mouse chases the lion then it is blue. If something is blue then it eats the squirrel.
The cat is not nice.
("cat" "is" "nice" "-")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If something visits the mouse and the mouse chases the lion then it is blue.
((("something" "visits" "mouse" "+") ("mouse" "chases" "lion" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it eats the squirrel.
((("something" "is" "blue" "+")) -> ("something" "eats" "squirrel" "+"))
The mouse visits the lion.
True
1
proof
[(triple10)]
("mouse" "visits" "lion" "+")
triple10
The squirrel does not visit the lion.
False
1
inv-proof
[(triple12)]
("squirrel" "visits" "lion" "-")
triple12
The lion eats the squirrel.
True
2
proof
[(((triple5) -> rule2))]
("lion" "eats" "squirrel" "+")
((triple5) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The lion does not eat the squirrel.
False
2
inv-proof
[(((triple5) -> rule2))]
("lion" "eats" "squirrel" "-")
((triple5) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The cat eats the squirrel.
True
4
proof
[(((((triple2 triple6) -> rule1)) -> rule2))]
("cat" "eats" "squirrel" "+")
((((triple2 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat does not eat the squirrel.
False
4
inv-proof
[(((((triple2 triple6) -> rule1)) -> rule2))]
("cat" "eats" "squirrel" "-")
((((triple2 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "blue" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@2: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The squirrel does not visit the mouse.
Unknown
inv-random
[@0: The squirrel visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "mouse" "-")
The squirrel chases the lion.
Unknown
random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "+")
@0: The cat is not nice.[(triple1)] The cat visits the mouse.[(triple2)] The lion chases the mouse.[(triple3)] The lion chases the squirrel.[(triple4)] The lion is blue.[(triple5)] The mouse chases the lion.[(triple6)] The mouse does not visit the cat.[(triple9)] The mouse eats the lion.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse visits the lion.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The cat is blue.[(((triple2 triple6) -> rule1))] The lion eats the squirrel.[(((triple5) -> rule2))] @2: The cat eats the squirrel.[(((((triple2 triple6) -> rule1)) -> rule2))]
The cat is not nice.
("cat" "is" "nice" "-")
triple1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple6
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
triple9
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple7
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple8
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple10
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple11
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple12
The cat is blue.
("cat" "is" "blue" "+")
((triple2 triple6) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
((triple5) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((((triple2 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2