The bald eagle is young. The bear likes the cow. The cow visits the tiger. The tiger does not like the cow. If something visits the tiger and it does not see the cow then the tiger is not big. If something is young and not cold then it does not visit the bald eagle. If the bald eagle does not visit the cow then the cow is rough. If something is rough and it does not like the cow then it likes the bear. If something sees the bear and the bear is big then it does not like the bear. If something likes the cow then it is young. If the tiger likes the bald eagle then the tiger visits the cow. If something is young then it visits the bear.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
If something visits the tiger and it does not see the cow then the tiger is not big.
((("something" "visits" "tiger" "+") ("something" "sees" "cow" "~")) -> ("tiger" "is" "big" "-"))
If something is young and not cold then it does not visit the bald eagle.
((("something" "is" "young" "+") ("something" "is" "cold" "~")) -> ("something" "visits" "bald eagle" "-"))
If the bald eagle does not visit the cow then the cow is rough.
((("bald eagle" "visits" "cow" "~")) -> ("cow" "is" "rough" "+"))
If something is rough and it does not like the cow then it likes the bear.
((("something" "is" "rough" "+") ("something" "likes" "cow" "~")) -> ("something" "likes" "bear" "+"))
If something sees the bear and the bear is big then it does not like the bear.
((("something" "sees" "bear" "+") ("bear" "is" "big" "+")) -> ("something" "likes" "bear" "-"))
If something likes the cow then it is young.
((("something" "likes" "cow" "+")) -> ("something" "is" "young" "+"))
If the tiger likes the bald eagle then the tiger visits the cow.
((("tiger" "likes" "bald eagle" "+")) -> ("tiger" "visits" "cow" "+"))
If something is young then it visits the bear.
((("something" "is" "young" "+")) -> ("something" "visits" "bear" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The tiger likes the cow.
False
1
inv-proof
[(triple4)]
("tiger" "likes" "cow" "+")
triple4
The bald eagle visits the bear.
True
2
proof
[(((triple1) -> rule8))]
("bald eagle" "visits" "bear" "+")
((triple1) -> (rule8 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple2) -> rule6))]
("bear" "is" "young" "-")
((triple2) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear visits the bear.
True
3
proof
[(((((triple2) -> rule6)) -> rule8))]
("bear" "visits" "bear" "+")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear does not visit the bear.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule8))]
("bear" "visits" "bear" "-")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "bear" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "young" "+")
The tiger does not visit the cow.
Unknown
inv-rconc
[@1: The tiger visits the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "visits" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The tiger does not see the bald eagle.
Unknown
inv-random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle is young.[(triple1)] The bear likes the cow.[(triple2)] The cow visits the tiger.[(triple3)] The tiger does not like the cow.[(triple4)] @1: The bald eagle visits the bear.[(((triple1) -> rule8))] The bear is young.[(((triple2) -> rule6))] @2: The bear visits the bear.[(((((triple2) -> rule6)) -> rule8))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear likes the cow.
("bear" "likes" "cow" "+")
triple2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple3
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
triple4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple1) -> (rule8 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((triple2) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2