The bald eagle eats the mouse. The bald eagle visits the dog. The bald eagle visits the mouse. The dog is round. The dog visits the bald eagle. The mouse eats the bald eagle. The mouse is blue. If someone eats the bald eagle then the bald eagle eats the dog. If someone eats the dog then they see the dog. If someone eats the dog then the dog is young.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If someone eats the bald eagle then the bald eagle eats the dog.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone eats the dog then they see the dog.
((("someone" "eats" "dog" "+")) -> ("someone" "sees" "dog" "+"))
If someone eats the dog then the dog is young.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "young" "+"))
The dog is round.
True
1
proof
[(triple4)]
("dog" "is" "round" "+")
triple4
The bald eagle does not visit the mouse.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "mouse" "-")
triple3
The bald eagle eats the dog.
True
2
proof
[(((triple6) -> rule1))]
("bald eagle" "eats" "dog" "+")
((triple6) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle does not eat the dog.
False
2
inv-proof
[(((triple6) -> rule1))]
("bald eagle" "eats" "dog" "-")
((triple6) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The mouse does not see the dog.
Unknown
inv-rconc
[@1: The mouse sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "dog" "-")
The dog sees the dog.
Unknown
rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "dog" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The mouse eats the dog.
Unknown
random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle visits the dog.[(triple2)] The bald eagle visits the mouse.[(triple3)] The dog is round.[(triple4)] The dog visits the bald eagle.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is blue.[(triple7)] @1: The bald eagle eats the dog.[(((triple6) -> rule1))] @2: The bald eagle sees the dog.[(((((triple6) -> rule1)) -> rule2))] The dog is young.[(((((triple6) -> rule1)) -> rule3))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple6) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2