The bald eagle likes the squirrel. The dog chases the squirrel. The squirrel likes the bald eagle. If something likes the squirrel then the squirrel chases the dog. If something is green then it likes the dog. If something likes the bald eagle and it is kind then the bald eagle is big.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If something likes the squirrel then the squirrel chases the dog.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If something is green then it likes the dog.
((("something" "is" "green" "+")) -> ("something" "likes" "dog" "+"))
If something likes the bald eagle and it is kind then the bald eagle is big.
((("something" "likes" "bald eagle" "+") ("something" "is" "kind" "+")) -> ("bald eagle" "is" "big" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "likes" "bald eagle" "+")
triple3
The squirrel does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "likes" "bald eagle" "-")
triple3
The squirrel chases the dog.
True
2
proof
[(((triple1) -> rule1))]
("squirrel" "chases" "dog" "+")
((triple1) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not chase the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("squirrel" "chases" "dog" "-")
((triple1) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel does not eat the dog.
Unknown
inv-random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "-")
The dog likes the bald eagle.
Unknown
random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The dog chases the squirrel.[(triple2)] The squirrel likes the bald eagle.[(triple3)] @1: The squirrel chases the dog.[(((triple1) -> rule1))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple1) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1