The bald eagle chases the lion. The bald eagle is not big. The bald eagle is round. The bald eagle does not need the cow. The bald eagle needs the lion. The bald eagle does not visit the cow. The bald eagle visits the tiger. The cow is red. The cow visits the bald eagle. The cow visits the lion. The lion chases the tiger. The lion needs the cow. The tiger does not need the bald eagle. The tiger visits the cow. The tiger visits the lion. If someone visits the tiger and the tiger chases the cow then the cow is blue. If someone visits the cow and the cow is round then the cow needs the bald eagle. If the tiger needs the cow and the tiger chases the cow then the tiger is big. If someone needs the lion then the lion does not visit the bald eagle. If the lion visits the tiger and the tiger is blue then the lion does not visit the bald eagle. If someone is round then they need the tiger. If the lion does not visit the cow then the cow does not visit the tiger. If someone needs the tiger then they visit the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone visits the tiger and the tiger chases the cow then the cow is blue.
((("someone" "visits" "tiger" "+") ("tiger" "chases" "cow" "+")) -> ("cow" "is" "blue" "+"))
If someone visits the cow and the cow is round then the cow needs the bald eagle.
((("someone" "visits" "cow" "+") ("cow" "is" "round" "+")) -> ("cow" "needs" "bald eagle" "+"))
If the tiger needs the cow and the tiger chases the cow then the tiger is big.
((("tiger" "needs" "cow" "+") ("tiger" "chases" "cow" "+")) -> ("tiger" "is" "big" "+"))
If someone needs the lion then the lion does not visit the bald eagle.
((("someone" "needs" "lion" "+")) -> ("lion" "visits" "bald eagle" "-"))
If the lion visits the tiger and the tiger is blue then the lion does not visit the bald eagle.
((("lion" "visits" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("lion" "visits" "bald eagle" "-"))
If someone is round then they need the tiger.
((("someone" "is" "round" "+")) -> ("someone" "needs" "tiger" "+"))
If the lion does not visit the cow then the cow does not visit the tiger.
((("lion" "visits" "cow" "~")) -> ("cow" "visits" "tiger" "-"))
If someone needs the tiger then they visit the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("someone" "visits" "bald eagle" "+"))
The bald eagle needs the lion.
True
1
proof
[(triple5)]
("bald eagle" "needs" "lion" "+")
triple5
The bald eagle does not chase the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle needs the tiger.
True
2
proof
[(((triple3) -> rule6))]
("bald eagle" "needs" "tiger" "+")
((triple3) -> (rule6 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The lion visits the bald eagle.
False
2
inv-proof
[(((triple5) -> rule4))]
("lion" "visits" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
int1
The bald eagle visits the bald eagle.
True
3
proof
[(((((triple3) -> rule6)) -> rule8))]
("bald eagle" "visits" "bald eagle" "+")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule8))]
("bald eagle" "visits" "bald eagle" "-")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "blue" "-")
The cow needs the bald eagle.
Unknown
rconc
[@1: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "bald eagle" "+")
The cow does not need the tiger.
Unknown
inv-rconc
[@1: The cow needs the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "tiger" "-")
The lion chases the cow.
Unknown
random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not need the cow.[(triple4)] The bald eagle does not visit the cow.[(triple6)] The bald eagle is not big.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the lion.[(triple5)] The bald eagle visits the tiger.[(triple7)] The cow is red.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the lion.[(triple10)] The lion chases the tiger.[(triple11)] The lion needs the cow.[(triple12)] The tiger does not need the bald eagle.[(triple13)] The tiger visits the cow.[(triple14)] The tiger visits the lion.[(triple15)] @1: The bald eagle needs the tiger.[(((triple3) -> rule6))] The lion does not visit the bald eagle.[(((triple5) -> rule4))] @2: The bald eagle visits the bald eagle.[(((((triple3) -> rule6)) -> rule8))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple4
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple6
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple9
The cow visits the lion.
("cow" "visits" "lion" "+")
triple10
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple11
The lion needs the cow.
("lion" "needs" "cow" "+")
triple12
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple13
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((triple3) -> (rule6 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
((triple5) -> (rule4 % int1))
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2