The bald eagle is kind. The cow needs the mouse. The dog chases the cow. The mouse is round. If someone likes the dog and they need the cow then they like the cow. If someone needs the bald eagle and they chase the bald eagle then they are green. If someone is round then they chase the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The mouse is round.
("mouse" "is" "round" "+")
If someone likes the dog and they need the cow then they like the cow.
((("someone" "likes" "dog" "+") ("someone" "needs" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If someone needs the bald eagle and they chase the bald eagle then they are green.
((("someone" "needs" "bald eagle" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone is round then they chase the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "chases" "bald eagle" "+"))
The mouse is round.
True
1
proof
[(triple4)]
("mouse" "is" "round" "+")
triple4
The mouse is not round.
False
1
inv-proof
[(triple4)]
("mouse" "is" "round" "-")
triple4
The mouse chases the bald eagle.
True
2
proof
[(((triple4) -> rule3))]
("mouse" "chases" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse does not chase the bald eagle.
False
2
inv-proof
[(((triple4) -> rule3))]
("mouse" "chases" "bald eagle" "-")
((triple4) -> (rule3 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle likes the cow.
Unknown
rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cow" "+")
The bald eagle does not like the mouse.
Unknown
inv-random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "-")
The mouse likes the dog.
Unknown
random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "+")
@0: The bald eagle is kind.[(triple1)] The cow needs the mouse.[(triple2)] The dog chases the cow.[(triple3)] The mouse is round.[(triple4)] @1: The mouse chases the bald eagle.[(((triple4) -> rule3))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple2
The dog chases the cow.
("dog" "chases" "cow" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1