The dog sees the squirrel. The dog visits the squirrel. The squirrel is rough. If someone is rough then they eat the dog.
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone is rough then they eat the dog.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "dog" "+"))
The dog visits the squirrel.
True
1
proof
[(triple2)]
("dog" "visits" "squirrel" "+")
triple2
The dog does not see the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "sees" "squirrel" "-")
triple1
The squirrel eats the dog.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "eats" "dog" "+")
((triple3) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel does not eat the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "eats" "dog" "-")
((triple3) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The squirrel does not visit the dog.
Unknown
inv-random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The dog sees the squirrel.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The squirrel eats the dog.[(((triple3) -> rule1))]
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((triple3) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1