The bald eagle chases the mouse. The lion chases the bald eagle. The lion is blue. The lion likes the bald eagle. The lion likes the mouse. The lion does not like the rabbit. The mouse chases the lion. The mouse chases the rabbit. The mouse is rough. The mouse does not like the bald eagle. The mouse visits the bald eagle. The rabbit chases the lion. The rabbit is big. The rabbit is young. The rabbit visits the bald eagle. The rabbit does not visit the lion. If the bald eagle visits the lion then the lion chases the bald eagle. If someone is big and they like the lion then they are green. If someone visits the bald eagle then they are green. All green people are rough. If someone chases the lion then the lion visits the rabbit. If someone likes the bald eagle and they are not rough then they chase the lion.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
If the bald eagle visits the lion then the lion chases the bald eagle.
((("bald eagle" "visits" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If someone is big and they like the lion then they are green.
((("someone" "is" "big" "+") ("someone" "likes" "lion" "+")) -> ("someone" "is" "green" "+"))
If someone visits the bald eagle then they are green.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the lion then the lion visits the rabbit.
((("someone" "chases" "lion" "+")) -> ("lion" "visits" "rabbit" "+"))
If someone likes the bald eagle and they are not rough then they chase the lion.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "rough" "~")) -> ("someone" "chases" "lion" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple11)]
("mouse" "visits" "bald eagle" "+")
triple11
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple11)]
("mouse" "visits" "bald eagle" "-")
triple11
The lion visits the rabbit.
True
2
proof
[(((triple12) -> rule5) OR ((triple7) -> rule5))]
("lion" "visits" "rabbit" "+")
((triple12) -> (rule5 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
((triple7) -> (rule5 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple15) -> rule3))]
("rabbit" "is" "green" "-")
((triple15) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
True
3
proof
[(((((triple15) -> rule3)) -> rule4))]
("rabbit" "is" "rough" "+")
((((triple15) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is not rough.
False
3
inv-proof
[(((((triple15) -> rule3)) -> rule4))]
("rabbit" "is" "rough" "-")
((((triple15) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The lion is not rough.
Unknown
inv-rconc
[@2: The lion is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("lion" "is" "rough" "-")
The bald eagle chases the lion.
Unknown
rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "lion" "+")
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "green" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The mouse does not visit the rabbit.
Unknown
inv-random
[@0: The mouse visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "rabbit" "-")
The lion chases the rabbit.
Unknown
random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "+")
@0: The bald eagle chases the mouse.[(triple1)] The lion chases the bald eagle.[(triple2)] The lion does not like the rabbit.[(triple6)] The lion is blue.[(triple3)] The lion likes the bald eagle.[(triple4)] The lion likes the mouse.[(triple5)] The mouse chases the lion.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse does not like the bald eagle.[(triple10)] The mouse is rough.[(triple9 OR ((((triple11) -> rule3)) -> rule4))] The mouse visits the bald eagle.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit does not visit the lion.[(triple16)] The rabbit is big.[(triple13)] The rabbit is young.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The lion visits the rabbit.[(((triple12) -> rule5) OR ((triple7) -> rule5))] The mouse is green.[(((triple11) -> rule3))] The rabbit is green.[(((triple15) -> rule3))] @2: The rabbit is rough.[(((((triple15) -> rule3)) -> rule4))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple2
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple5
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple7
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
((((triple11) -> (rule3 % int2))) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple11
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple12
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
triple16
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
((triple12) -> (rule5 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
((triple7) -> (rule5 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple11) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple15) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((triple15) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2