The bald eagle chases the rabbit. The bald eagle is not green. The rabbit does not visit the bald eagle. If someone chases the rabbit and the rabbit does not visit the bald eagle then they are round. If someone is round then they see the bald eagle. If the rabbit is young and the rabbit does not visit the bald eagle then the bald eagle is blue.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
If someone chases the rabbit and the rabbit does not visit the bald eagle then they are round.
((("someone" "chases" "rabbit" "+") ("rabbit" "visits" "bald eagle" "~")) -> ("someone" "is" "round" "+"))
If someone is round then they see the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the rabbit is young and the rabbit does not visit the bald eagle then the bald eagle is blue.
((("rabbit" "is" "young" "+") ("rabbit" "visits" "bald eagle" "~")) -> ("bald eagle" "is" "blue" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
The bald eagle is round.
True
3
proof
[(((triple1 triple3) -> rule1))]
("bald eagle" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("bald eagle" "is" "round" "-")
((triple1 triple3) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the bald eagle.
True
4
proof
[(((((triple1 triple3) -> rule1)) -> rule2))]
("bald eagle" "sees" "bald eagle" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle does not see the bald eagle.
False
4
inv-proof
[(((((triple1 triple3) -> rule1)) -> rule2))]
("bald eagle" "sees" "bald eagle" "-")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "round" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@2: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The bald eagle does not see the rabbit.
Unknown
inv-random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is not green.[(triple2)] The rabbit does not visit the bald eagle.[(triple3)] @1: The bald eagle is round.[(((triple1 triple3) -> rule1))] @2: The bald eagle sees the bald eagle.[(((((triple1 triple3) -> rule1)) -> rule2))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2