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