The bald eagle eats the cow. The bald eagle sees the bear. The bald eagle sees the tiger. The bald eagle visits the bear. The bald eagle visits the cow. The bear is blue. The bear sees the tiger. The cow eats the bald eagle. The cow does not eat the bear. The cow visits the tiger. The tiger eats the cow. The tiger is nice. The tiger is rough. The tiger sees the bald eagle. The tiger does not visit the bald eagle. The tiger visits the cow. If something is rough then it eats the cow. If something is round then it eats the cow. If something eats the bear then it sees the bear. If something visits the bald eagle then it sees the bear. If something eats the tiger and it is blue then it visits the bald eagle. If something visits the bear then the bear eats the tiger.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something is rough then it eats the cow.
((("something" "is" "rough" "+")) -> ("something" "eats" "cow" "+"))
If something is round then it eats the cow.
((("something" "is" "round" "+")) -> ("something" "eats" "cow" "+"))
If something eats the bear then it sees the bear.
((("something" "eats" "bear" "+")) -> ("something" "sees" "bear" "+"))
If something visits the bald eagle then it sees the bear.
((("something" "visits" "bald eagle" "+")) -> ("something" "sees" "bear" "+"))
If something eats the tiger and it is blue then it visits the bald eagle.
((("something" "eats" "tiger" "+") ("something" "is" "blue" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bear then the bear eats the tiger.
((("something" "visits" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
The tiger is nice.
True
1
proof
[(triple12)]
("tiger" "is" "nice" "+")
triple12
The bear is not blue.
False
1
inv-proof
[(triple6)]
("bear" "is" "blue" "-")
triple6
The bear eats the tiger.
True
2
proof
[(((triple4) -> rule6))]
("bear" "eats" "tiger" "+")
((triple4) -> (rule6 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear does not eat the tiger.
False
2
inv-proof
[(((triple4) -> rule6))]
("bear" "eats" "tiger" "-")
((triple4) -> (rule6 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear visits the bald eagle.
True
4
proof
[(((((triple4) -> rule6) triple6) -> rule5))]
("bear" "visits" "bald eagle" "+")
((((triple4) -> (rule6 % int2)) triple6) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear does not visit the bald eagle.
False
4
inv-proof
[(((((triple4) -> rule6) triple6) -> rule5))]
("bear" "visits" "bald eagle" "-")
((((triple4) -> (rule6 % int2)) triple6) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear sees the bear.
True
5
proof
[(((((((triple4) -> rule6) triple6) -> rule5)) -> rule4))]
("bear" "sees" "bear" "+")
((((((triple4) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear does not see the bear.
False
5
inv-proof
[(((((((triple4) -> rule6) triple6) -> rule5)) -> rule4))]
("bear" "sees" "bear" "-")
((((((triple4) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "cow" "-")
The tiger sees the bear.
Unknown
rconc
[@1: The tiger sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "sees" "bear" "+")
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow sees the bear.
Unknown
rconc
[@2: The cow sees the bear.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("cow" "sees" "bear" "+")
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 bear visits the tiger.
Unknown
random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the cow.[(triple5)] The bear is blue.[(triple6)] The bear sees the tiger.[(triple7)] The cow does not eat the bear.[(triple9)] The cow eats the bald eagle.[(triple8)] The cow visits the tiger.[(triple10)] The tiger does not visit the bald eagle.[(triple15)] The tiger eats the cow.[(triple11 OR ((triple13) -> rule1))] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger visits the cow.[(triple16)] @1: The bear eats the tiger.[(((triple4) -> rule6))] @2: The bear visits the bald eagle.[(((((triple4) -> rule6) triple6) -> rule5))] @3: The bear sees the bear.[(((((((triple4) -> rule6) triple6) -> rule5)) -> rule4))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple6
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple7
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple9
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple10
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple15
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple11
((triple13) -> (rule1 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple16
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((triple4) -> (rule6 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((((triple4) -> (rule6 % int2)) triple6) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
((((((triple4) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3