The bald eagle chases the bear. The bald eagle chases the cow. The bald eagle is red. The bear chases the bald eagle. The bear chases the tiger. The bear is round. The bear sees the bald eagle. The cow is kind. The tiger eats the bear. The tiger eats the cow. The tiger is round. The tiger sees the bald eagle. The tiger sees the bear. The tiger sees the cow. If someone is kind and nice then they chase the bear. All round people are nice. If someone sees the tiger then they eat the bald eagle. If the bear is kind then the bear chases the cow. If someone is red and they eat the tiger then the tiger sees the cow. If someone sees the bear and they chase the bear then the bear eats the tiger. If the cow chases the bear then the cow is red. If someone is round and they eat the tiger then they eat the bear. If someone is nice then they are kind.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is round.
("bear" "is" "round" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cow is kind.
("cow" "is" "kind" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone is kind and nice then they chase the bear.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "bear" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the tiger then they eat the bald eagle.
((("someone" "sees" "tiger" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bear is kind then the bear chases the cow.
((("bear" "is" "kind" "+")) -> ("bear" "chases" "cow" "+"))
If someone is red and they eat the tiger then the tiger sees the cow.
((("someone" "is" "red" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "sees" "cow" "+"))
If someone sees the bear and they chase the bear then the bear eats the tiger.
((("someone" "sees" "bear" "+") ("someone" "chases" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
If the cow chases the bear then the cow is red.
((("cow" "chases" "bear" "+")) -> ("cow" "is" "red" "+"))
If someone is round and they eat the tiger then they eat the bear.
((("someone" "is" "round" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "eats" "bear" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple12)]
("tiger" "sees" "bald eagle" "+")
triple12
The tiger does not eat the bear.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "bear" "-")
triple9
The tiger is nice.
True
2
proof
[(((triple11) -> rule2))]
("tiger" "is" "nice" "+")
((triple11) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not nice.
False
2
inv-proof
[(((triple11) -> rule2))]
("tiger" "is" "nice" "-")
((triple11) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
True
3
proof
[(((((triple11) -> rule2)) -> rule9))]
("tiger" "is" "kind" "+")
((((triple11) -> (rule2 % int2))) -> (rule9 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is not kind.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule9))]
("tiger" "is" "kind" "-")
((((triple11) -> (rule2 % int2))) -> (rule9 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The bear chases the bear.
True
6
proof
[(((((((triple6) -> rule2)) -> rule9) ((triple6) -> rule2)) -> rule1))]
("bear" "chases" "bear" "+")
((((((triple6) -> (rule2 % int3))) -> (rule9 % int2)) ((triple6) -> (rule2 % int3))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear does not chase the cow.
False
4
inv-proof
[(((((((triple6) -> rule2)) -> rule9)) -> rule4))]
("bear" "chases" "cow" "-")
((((((triple6) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear eats the tiger.
True
8
proof
[(((triple13 ((((((triple11) -> rule2)) -> rule9) ((triple11) -> rule2)) -> rule1)) -> rule6))]
("bear" "eats" "tiger" "+")
((triple13 ((((((triple11) -> (rule2 % int4))) -> (rule9 % int3)) ((triple11) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The bear does not eat the tiger.
False
8
inv-proof
[(((triple13 ((((((triple11) -> rule2)) -> rule9) ((triple11) -> rule2)) -> rule1)) -> rule6))]
("bear" "eats" "tiger" "-")
((triple13 ((((((triple11) -> (rule2 % int4))) -> (rule9 % int3)) ((triple11) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The bear eats the bear.
True
10
proof
[(((triple6 ((triple13 ((((((triple11) -> rule2)) -> rule9) ((triple11) -> rule2)) -> rule1)) -> rule6)) -> rule8))]
("bear" "eats" "bear" "+")
((triple6 ((triple13 ((((((triple11) -> (rule2 % int5))) -> (rule9 % int4)) ((triple11) -> (rule2 % int5))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
The bear does not eat the bear.
False
10
inv-proof
[(((triple6 ((triple13 ((((((triple11) -> rule2)) -> rule9) ((triple11) -> rule2)) -> rule1)) -> rule6)) -> rule8))]
("bear" "eats" "bear" "-")
((triple6 ((triple13 ((((((triple11) -> (rule2 % int5))) -> (rule9 % int4)) ((triple11) -> (rule2 % int5))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
The tiger does not eat the bald eagle.
Unknown
inv-rconc
[@1: The tiger eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cow does not eat the bear.
Unknown
inv-rconc
[@1: The cow eats the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "eats" "bear" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The cow does not chase the bear.
Unknown
inv-rconc
[@2: The cow chases the bear.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "chases" "bear" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "+")
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 tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle is red.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear chases the tiger.[(triple5)] The bear is round.[(triple6)] The bear sees the bald eagle.[(triple7)] The cow is kind.[(triple8)] The tiger eats the bear.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is round.[(triple11)] The tiger sees the bald eagle.[(triple12)] The tiger sees the bear.[(triple13)] The tiger sees the cow.[(triple14)] @1: The bear is nice.[(((triple6) -> rule2))] The tiger is nice.[(((triple11) -> rule2))] @2: The bear is kind.[(((((triple6) -> rule2)) -> rule9))] The tiger is kind.[(((((triple11) -> rule2)) -> rule9))] @3: The bear chases the bear.[(((((((triple6) -> rule2)) -> rule9) ((triple6) -> rule2)) -> rule1))] The bear chases the cow.[(((((((triple6) -> rule2)) -> rule9)) -> rule4))] The tiger chases the bear.[(((((((triple11) -> rule2)) -> rule9) ((triple11) -> rule2)) -> rule1))] @4: The bear eats the tiger.[(((triple13 ((((((triple11) -> rule2)) -> rule9) ((triple11) -> rule2)) -> rule1)) -> rule6))] @5: The bear eats the bear.[(((triple6 ((triple13 ((((((triple11) -> rule2)) -> rule9) ((triple11) -> rule2)) -> rule1)) -> rule6)) -> rule8))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple9
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple13
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple14
The bear is nice.
("bear" "is" "nice" "+")
((triple6) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple11) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple6) -> (rule2 % int2))) -> (rule9 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
((((triple11) -> (rule2 % int2))) -> (rule9 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((triple6) -> (rule2 % int3))) -> (rule9 % int2)) ((triple6) -> (rule2 % int3))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear chases the cow.
("bear" "chases" "cow" "+")
((((((triple6) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The tiger chases the bear.
("tiger" "chases" "bear" "+")
((((((triple11) -> (rule2 % int3))) -> (rule9 % int2)) ((triple11) -> (rule2 % int3))) -> (rule1 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((triple13 ((((((triple11) -> (rule2 % int4))) -> (rule9 % int3)) ((triple11) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple6 ((triple13 ((((((triple11) -> (rule2 % int5))) -> (rule9 % int4)) ((triple11) -> (rule2 % int5))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5