The bald eagle is green. The rabbit is nice. The tiger eats the bald eagle. If someone is green then they chase the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
If someone is green then they chase the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bald eagle" "+"))
The tiger eats the bald eagle.
True
1
proof
[(triple3)]
("tiger" "eats" "bald eagle" "+")
triple3
The tiger does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("tiger" "eats" "bald eagle" "-")
triple3
The bald eagle chases the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The rabbit does not chase the bald eagle.
Unknown
inv-rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The tiger chases the bald eagle.
Unknown
rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle is green.[(triple1)] The rabbit is nice.[(triple2)] The tiger eats the bald eagle.[(triple3)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1