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