The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle needs the rabbit. The mouse eats the bald eagle. The mouse is big. The mouse is blue. The mouse is round. The mouse needs the bald eagle. The mouse needs the rabbit. The rabbit chases the mouse. The rabbit eats the bald eagle. The rabbit is big. If something eats the rabbit and the rabbit eats the bald eagle then it chases the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If something eats the rabbit and the rabbit eats the bald eagle then it chases the bald eagle.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple3)]
("bald eagle" "needs" "rabbit" "+")
triple3
The rabbit is not big.
False
1
inv-proof
[(triple12)]
("rabbit" "is" "big" "-")
triple12
The bald eagle chases the bald eagle.
True
3
proof
[(((triple2 triple11) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple2 triple11) -> (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
3
inv-proof
[(((triple2 triple11) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple2 triple11) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The mouse does not chase the bald eagle.
Unknown
inv-rconc
[@1: The mouse chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "bald eagle" "-")
The rabbit chases the bald eagle.
Unknown
rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "bald eagle" "+")
The rabbit does not need the bald eagle.
Unknown
inv-random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The mouse is blue.[(triple6)] The mouse is round.[(triple7)] The mouse needs the bald eagle.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit is big.[(triple12)] @1: The bald eagle chases the bald eagle.[(((triple2 triple11) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple8
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple9
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple2 triple11) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1