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