The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle does not need the rabbit. The bald eagle visits the rabbit. The bear is green. The bear is not red. The bear needs the bald eagle. The bear does not visit the rabbit. The mouse is blue. The mouse is not round. The mouse does not need the bald eagle. The mouse needs the rabbit. The mouse does not visit the bald eagle. The mouse visits the bear. The rabbit needs the bald eagle. The rabbit does not visit the bald eagle. If someone is red and not green then they need the bald eagle. If someone needs the bald eagle then they need the bear. If someone needs the bear and the bear is green then the bear visits the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
If someone is red and not green then they need the bald eagle.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "needs" "bald eagle" "+"))
If someone needs the bald eagle then they need the bear.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the bear and the bear is green then the bear visits the bald eagle.
((("someone" "needs" "bear" "+") ("bear" "is" "green" "+")) -> ("bear" "visits" "bald eagle" "+"))
The mouse visits the bear.
True
1
proof
[(triple14)]
("mouse" "visits" "bear" "+")
triple14
The rabbit does not need the bald eagle.
False
1
inv-proof
[(triple15)]
("rabbit" "needs" "bald eagle" "-")
triple15
The bear needs the bear.
True
2
proof
[(((triple7) -> rule2))]
("bear" "needs" "bear" "+")
((triple7) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple7) -> rule2))]
("bear" "needs" "bear" "-")
((triple7) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear visits the bald eagle.
True
4
proof
[(((((triple15) -> rule2) triple5) -> rule3) OR ((((triple7) -> rule2) triple5) -> rule3))]
("bear" "visits" "bald eagle" "+")
((((triple15) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
((((triple7) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear does not visit the bald eagle.
False
4
inv-proof
[(((((triple15) -> rule2) triple5) -> rule3) OR ((((triple7) -> rule2) triple5) -> rule3))]
("bear" "visits" "bald eagle" "-")
((((triple15) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
((((triple7) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The mouse needs the bear.
Unknown
rconc
[@1: The mouse needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "bear" "+")
The bald eagle does not need the bear.
Unknown
inv-rconc
[@2: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The rabbit visits the bear.
Unknown
random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle does not need the rabbit.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The bear does not visit the rabbit.[(triple8)] The bear is green.[(triple5)] The bear is not red.[(triple6)] The bear needs the bald eagle.[(triple7)] The mouse does not need the bald eagle.[(triple11)] The mouse does not visit the bald eagle.[(triple13)] The mouse is blue.[(triple9)] The mouse is not round.[(triple10)] The mouse needs the rabbit.[(triple12)] The mouse visits the bear.[(triple14)] The rabbit does not visit the bald eagle.[(triple16)] The rabbit needs the bald eagle.[(triple15)] @1: The bear needs the bear.[(((triple7) -> rule2))] The rabbit needs the bear.[(((triple15) -> rule2))] @2: The bear visits the bald eagle.[(((((triple15) -> rule2) triple5) -> rule3) OR ((((triple7) -> rule2) triple5) -> rule3))]
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 does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
triple8
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is not red.
("bear" "is" "red" "-")
triple6
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple7
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple11
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
triple13
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse is not round.
("mouse" "is" "round" "-")
triple10
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple12
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple14
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple16
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple15
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple7) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple15) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((((triple15) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
((((triple7) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2