The dog needs the squirrel. The dog sees the squirrel. The squirrel needs the dog. If something needs the squirrel then it likes the dog.
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something needs the squirrel then it likes the dog.
((("something" "needs" "squirrel" "+")) -> ("something" "likes" "dog" "+"))
The squirrel needs the dog.
True
1
proof
[(triple3)]
("squirrel" "needs" "dog" "+")
triple3
The squirrel does not need the dog.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "dog" "-")
triple3
The dog likes the dog.
True
2
proof
[(((triple1) -> rule1))]
("dog" "likes" "dog" "+")
((triple1) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog does not like the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "likes" "dog" "-")
((triple1) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The squirrel does not like the dog.
Unknown
inv-rconc
[@1: The squirrel likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "dog" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "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 is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The dog needs the squirrel.[(triple1)] The dog sees the squirrel.[(triple2)] The squirrel needs the dog.[(triple3)] @1: The dog likes the dog.[(((triple1) -> rule1))]
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple2
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple3
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple1) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1