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