The bald eagle is red. The cow visits the bald eagle. The dog eats the bald eagle. The dog is cold. The dog likes the mouse. The mouse is green. The mouse likes the dog. If something likes the mouse then the mouse visits the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If something likes the mouse then the mouse visits the bald eagle.
((("something" "likes" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple3)]
("dog" "eats" "bald eagle" "+")
triple3
The mouse is not green.
False
1
inv-proof
[(triple6)]
("mouse" "is" "green" "-")
triple6
The mouse visits the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("mouse" "visits" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse does not visit the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("mouse" "visits" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The cow does not like the mouse.
Unknown
inv-random
[@0: The cow likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "mouse" "-")
The dog likes the cow.
Unknown
random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "+")
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle visits the mouse.
Unknown
random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "+")
@0: The bald eagle is red.[(triple1)] The cow visits the bald eagle.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is cold.[(triple4)] The dog likes the mouse.[(triple5)] The mouse is green.[(triple6)] The mouse likes the dog.[(triple7)] @1: The mouse visits the bald eagle.[(((triple5) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple7
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1