The bald eagle visits the bear. The bald eagle visits the cow. The bear visits the bald eagle. The cow is young. The cow does not visit the bear. The cow visits the mouse. The mouse is kind. If someone is big then they like the cow. If someone visits the bald eagle and they are round then they like the cow. If someone is nice then they chase the cow. If someone likes the bear and they are nice then they like the bald eagle. If someone visits the bald eagle and they visit the bear then the bear visits the mouse. If the cow is young then the cow is big.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cow is young.
("cow" "is" "young" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
If someone is big then they like the cow.
((("someone" "is" "big" "+")) -> ("someone" "likes" "cow" "+"))
If someone visits the bald eagle and they are round then they like the cow.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "cow" "+"))
If someone is nice then they chase the cow.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "cow" "+"))
If someone likes the bear and they are nice then they like the bald eagle.
((("someone" "likes" "bear" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone visits the bald eagle and they visit the bear then the bear visits the mouse.
((("someone" "visits" "bald eagle" "+") ("someone" "visits" "bear" "+")) -> ("bear" "visits" "mouse" "+"))
If the cow is young then the cow is big.
((("cow" "is" "young" "+")) -> ("cow" "is" "big" "+"))
The cow does not visit the bear.
True
1
proof
[(triple5)]
("cow" "visits" "bear" "-")
triple5
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "bear" "-")
triple1
The cow is big.
True
2
proof
[(((triple4) -> rule6))]
("cow" "is" "big" "+")
((triple4) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple4) -> rule6))]
("cow" "is" "big" "-")
((triple4) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
True
3
proof
[(((((triple4) -> rule6)) -> rule1))]
("cow" "likes" "cow" "+")
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow does not like the cow.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule1))]
("cow" "likes" "cow" "-")
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "-")
The bear likes the cow.
Unknown
rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "cow" "+")
The cow does not like the bald eagle.
Unknown
inv-rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the cow.[(triple2)] The bear visits the bald eagle.[(triple3)] The cow does not visit the bear.[(triple5)] The cow is young.[(triple4)] The cow visits the mouse.[(triple6)] The mouse is kind.[(triple7)] @1: The cow is big.[(((triple4) -> rule6))] @2: The cow likes the cow.[(((((triple4) -> rule6)) -> rule1))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple3
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple5
The cow is young.
("cow" "is" "young" "+")
triple4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
((triple4) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2