The bald eagle visits the dog. The cow likes the bald eagle. The dog sees the mouse. The mouse visits the bald eagle. If something is cold and it likes the dog then it is nice. If something visits the dog then it sees the dog. If something sees the mouse then the mouse is nice. If something is cold and blue then it visits the dog. If something sees the bald eagle and the bald eagle is blue then it is blue. If something visits the mouse and the mouse visits the cow then the cow likes the mouse.
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something is cold and it likes the dog then it is nice.
((("something" "is" "cold" "+") ("something" "likes" "dog" "+")) -> ("something" "is" "nice" "+"))
If something visits the dog then it sees the dog.
((("something" "visits" "dog" "+")) -> ("something" "sees" "dog" "+"))
If something sees the mouse then the mouse is nice.
((("something" "sees" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If something is cold and blue then it visits the dog.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "visits" "dog" "+"))
If something sees the bald eagle and the bald eagle is blue then it is blue.
((("something" "sees" "bald eagle" "+") ("bald eagle" "is" "blue" "+")) -> ("something" "is" "blue" "+"))
If something visits the mouse and the mouse visits the cow then the cow likes the mouse.
((("something" "visits" "mouse" "+") ("mouse" "visits" "cow" "+")) -> ("cow" "likes" "mouse" "+"))
The dog sees the mouse.
True
1
proof
[(triple3)]
("dog" "sees" "mouse" "+")
triple3
The dog does not see the mouse.
False
1
inv-proof
[(triple3)]
("dog" "sees" "mouse" "-")
triple3
The bald eagle sees the dog.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "sees" "dog" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle does not see the dog.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "sees" "dog" "-")
((triple1) -> (rule2 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "visits" "dog" "-")
The cow is blue.
Unknown
rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "blue" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle likes the cow.
Unknown
random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "+")
@0: The bald eagle visits the dog.[(triple1)] The cow likes the bald eagle.[(triple2)] The dog sees the mouse.[(triple3)] The mouse visits the bald eagle.[(triple4)] @1: The bald eagle sees the dog.[(((triple1) -> rule2))] The mouse is nice.[(((triple3) -> rule3))]
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple4
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple3) -> (rule3 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1