The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bear eats the cow. The bear is not young. The bear likes the bald eagle. The bear sees the cow. The bear sees the mouse. The cow eats the bald eagle. The cow does not eat the mouse. The cow is not red. The cow is rough. The cow is young. The cow sees the bear. The mouse is not kind. If the bear likes the cow then the cow eats the bear. If something eats the bear then it does not like the cow. If something likes the bald eagle and the bald eagle is kind then it likes the cow. If something is red and it does not see the cow then it likes the cow. Kind things are blue. If something sees the cow and the cow sees the bald eagle then the bald eagle is red. If the bald eagle is young then the bald eagle eats the bear. If the bald eagle does not eat the cow and the cow is not kind then the bald eagle likes the cow.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
The cow is not red.
("cow" "is" "red" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
If the bear likes the cow then the cow eats the bear.
((("bear" "likes" "cow" "+")) -> ("cow" "eats" "bear" "+"))
If something eats the bear then it does not like the cow.
((("something" "eats" "bear" "+")) -> ("something" "likes" "cow" "-"))
If something likes the bald eagle and the bald eagle is kind then it likes the cow.
((("something" "likes" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("something" "likes" "cow" "+"))
If something is red and it does not see the cow then it likes the cow.
((("something" "is" "red" "+") ("something" "sees" "cow" "~")) -> ("something" "likes" "cow" "+"))
Kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something sees the cow and the cow sees the bald eagle then the bald eagle is red.
((("something" "sees" "cow" "+") ("cow" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If the bald eagle is young then the bald eagle eats the bear.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "eats" "bear" "+"))
If the bald eagle does not eat the cow and the cow is not kind then the bald eagle likes the cow.
((("bald eagle" "eats" "cow" "~") ("cow" "is" "kind" "~")) -> ("bald eagle" "likes" "cow" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple9)]
("cow" "eats" "bald eagle" "+")
triple9
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple9)]
("cow" "eats" "bald eagle" "-")
triple9
The bald eagle is blue.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "is" "blue" "-")
((triple1) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle does not like the cow.
True
3
proof
[(((((triple3) -> rule7)) -> rule2))]
("bald eagle" "likes" "cow" "-")
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle likes the cow.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule2))]
("bald eagle" "likes" "cow" "+")
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The cow does not like the cow.
True
5
proof
[(((((((triple6 triple1) -> rule3)) -> rule1)) -> rule2))]
("cow" "likes" "cow" "-")
((((((triple6 triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The cow likes the cow.
False
5
inv-proof
[(((((((triple6 triple1) -> rule3)) -> rule1)) -> rule2))]
("cow" "likes" "cow" "+")
((((((triple6 triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The mouse does not like the cow.
Unknown
inv-rconc
[@1: The mouse likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "cow" "-")
The mouse is blue.
Unknown
rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "blue" "+")
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "blue" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "blue" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
The bald eagle does not like the mouse.
Unknown
inv-random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "-")
The bear eats the mouse.
Unknown
random
[@0: The bear eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "mouse" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bear eats the cow.[(triple4)] The bear is not young.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear sees the cow.[(triple7)] The bear sees the mouse.[(triple8)] The cow does not eat the mouse.[(triple10)] The cow eats the bald eagle.[(triple9)] The cow is not red.[(triple11)] The cow is rough.[(triple12)] The cow is young.[(triple13)] The cow sees the bear.[(triple14)] The mouse is not kind.[(triple15)] @1: The bald eagle eats the bear.[(((triple3) -> rule7))] The bald eagle is blue.[(((triple1) -> rule5))] The bear likes the cow.[(((triple6 triple1) -> rule3))] @2: The bald eagle does not like the cow.[(((((triple3) -> rule7)) -> rule2))] The cow eats the bear.[(((((triple6 triple1) -> rule3)) -> rule1))] @3: The cow does not like the cow.[(((((((triple6 triple1) -> rule3)) -> rule1)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bear eats the cow.
("bear" "eats" "cow" "+")
triple4
The bear is not young.
("bear" "is" "young" "-")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear sees the cow.
("bear" "sees" "cow" "+")
triple7
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple8
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
triple10
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple9
The cow is not red.
("cow" "is" "red" "-")
triple11
The cow is rough.
("cow" "is" "rough" "+")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow sees the bear.
("cow" "sees" "bear" "+")
triple14
The mouse is not kind.
("mouse" "is" "kind" "-")
triple15
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple3) -> (rule7 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
((triple6 triple1) -> (rule3 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
((((triple6 triple1) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The cow does not like the cow.
("cow" "likes" "cow" "-")
((((((triple6 triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3