The dog chases the lion. The lion visits the dog. The squirrel chases the dog. If someone chases the dog then they visit the lion. If someone needs the squirrel and the squirrel chases the dog then the dog needs the squirrel. If the dog visits the lion and the lion is green then the lion does not chase the squirrel.
The dog chases the lion.
("dog" "chases" "lion" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If someone chases the dog then they visit the lion.
((("someone" "chases" "dog" "+")) -> ("someone" "visits" "lion" "+"))
If someone needs the squirrel and the squirrel chases the dog then the dog needs the squirrel.
((("someone" "needs" "squirrel" "+") ("squirrel" "chases" "dog" "+")) -> ("dog" "needs" "squirrel" "+"))
If the dog visits the lion and the lion is green then the lion does not chase the squirrel.
((("dog" "visits" "lion" "+") ("lion" "is" "green" "+")) -> ("lion" "chases" "squirrel" "-"))
The squirrel chases the dog.
True
1
proof
[(triple3)]
("squirrel" "chases" "dog" "+")
triple3
The dog does not chase the lion.
False
1
inv-proof
[(triple1)]
("dog" "chases" "lion" "-")
triple1
The squirrel visits the lion.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "visits" "lion" "+")
((triple3) -> (rule1 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The squirrel does not visit the lion.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "visits" "lion" "-")
((triple3) -> (rule1 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The dog does not need the squirrel.
Unknown
inv-rconc
[@1: The dog needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "squirrel" "-")
The dog visits the lion.
Unknown
rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "lion" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog chases the lion.[(triple1)] The lion visits the dog.[(triple2)] The squirrel chases the dog.[(triple3)] @1: The squirrel visits the lion.[(((triple3) -> rule1))]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The lion visits the dog.
("lion" "visits" "dog" "+")
triple2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
((triple3) -> (rule1 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1