The bald eagle chases the rabbit. The bald eagle eats the mouse. The bald eagle is big. The bald eagle is nice. The mouse chases the bald eagle. The mouse is big. The mouse is young. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is big. If something chases the rabbit then it eats the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If something chases the rabbit then it eats the rabbit.
((("something" "chases" "rabbit" "+")) -> ("something" "eats" "rabbit" "+"))
The rabbit is big.
True
1
proof
[(triple10)]
("rabbit" "is" "big" "+")
triple10
The bald eagle is not nice.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "nice" "-")
triple4
The bald eagle eats the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "rabbit" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle does not eat the rabbit.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "rabbit" "-")
((triple1) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The mouse eats the rabbit.
Unknown
rconc
[@1: The mouse eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "rabbit" "+")
The rabbit does not visit the bald eagle.
Unknown
inv-random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is nice.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse is big.[(triple6)] The mouse is young.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is big.[(triple10)] @1: The bald eagle eats the rabbit.[(((triple1) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple8
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1