The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle is red. The bald eagle visits the bear. The bear chases the bald eagle. The bear chases the rabbit. The bear eats the bald eagle. The bear is big. The bear is red. The bear visits the bald eagle. The rabbit chases the bear. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit is cold. The rabbit visits the bald eagle. If something eats the bald eagle and it is cold then it is green. If something is red then it visits the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something eats the bald eagle and it is cold then it is green.
((("something" "eats" "bald eagle" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is red then it visits the bear.
((("something" "is" "red" "+")) -> ("something" "visits" "bear" "+"))
The rabbit eats the bear.
True
1
proof
[(triple13)]
("rabbit" "eats" "bear" "+")
triple13
The rabbit does not eat the bear.
False
1
inv-proof
[(triple13)]
("rabbit" "eats" "bear" "-")
triple13
The bear visits the bear.
True
2
proof
[(((triple9) -> rule2))]
("bear" "visits" "bear" "+")
((triple9) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The rabbit is not green.
False
3
inv-proof
[(((triple12 triple14) -> rule1))]
("rabbit" "is" "green" "-")
((triple12 triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit does not visit the bear.
Unknown
inv-rconc
[@1: The rabbit visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "visits" "bear" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle visits the bear.[(triple4 OR ((triple3) -> rule2))] The bear chases the bald eagle.[(triple5)] The bear chases the rabbit.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear is big.[(triple8)] The bear is red.[(triple9)] The bear visits the bald eagle.[(triple10)] The rabbit chases the bear.[(triple11)] The rabbit eats the bald eagle.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit is cold.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The bear visits the bear.[(((triple9) -> rule2))] The rabbit is green.[(((triple12 triple14) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
((triple3) -> (rule2 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple7
The bear is big.
("bear" "is" "big" "+")
triple8
The bear is red.
("bear" "is" "red" "+")
triple9
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple10
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple11
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple12
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple13
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple9) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple12 triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1