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