The bald eagle is round. The bear is green. The bear is round. The bear visits the bald eagle. The tiger chases the bald eagle. The tiger visits the bald eagle. The tiger visits the bear. If someone is young then they chase the bear. If someone visits the bald eagle then the bald eagle is young. If someone needs the bald eagle and the bald eagle chases the bear then they chase the bear. If someone chases the tiger and the tiger chases the bald eagle then they visit the tiger. If someone chases the bald eagle and they visit the tiger then they are rough. If the bald eagle is young then the bald eagle visits the bear. If the bald eagle visits the tiger and the bald eagle visits the bear then the bald eagle needs the tiger. If someone chases the bald eagle then the bald eagle visits the bear.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone is young then they chase the bear.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bear" "+"))
If someone visits the bald eagle then the bald eagle is young.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone needs the bald eagle and the bald eagle chases the bear then they chase the bear.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the tiger and the tiger chases the bald eagle then they visit the tiger.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("someone" "visits" "tiger" "+"))
If someone chases the bald eagle and they visit the tiger then they are rough.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "tiger" "+")) -> ("someone" "is" "rough" "+"))
If the bald eagle is young then the bald eagle visits the bear.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "visits" "bear" "+"))
If the bald eagle visits the tiger and the bald eagle visits the bear then the bald eagle needs the tiger.
((("bald eagle" "visits" "tiger" "+") ("bald eagle" "visits" "bear" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If someone chases the bald eagle then the bald eagle visits the bear.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple4)]
("bear" "visits" "bald eagle" "+")
triple4
The bear does not visit the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "visits" "bald eagle" "-")
triple4
The bald eagle is young.
True
2
proof
[(((triple4) -> rule2) OR ((triple6) -> rule2))]
("bald eagle" "is" "young" "+")
((triple4) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple6) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle does not visit the bear.
False
2
inv-proof
[(((triple5) -> rule8) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple6) -> rule2)) -> rule6))]
("bald eagle" "visits" "bear" "-")
((triple5) -> (rule8 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "rough" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle is round.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear visits the bald eagle.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger visits the bald eagle.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bald eagle is young.[(((triple4) -> rule2) OR ((triple6) -> rule2))] The bald eagle visits the bear.[(((triple5) -> rule8) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] @2: The bald eagle chases the bear.[(((((triple4) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple5
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple4) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple6) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple5) -> (rule8 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2