The bald eagle needs the bear. The bear is kind. The bear needs the cow. The bear sees the bald eagle. The bear sees the cat. The bear sees the cow. The cat does not chase the bear. The cat is big. The cat is green. The cow needs the bear. The cow sees the bear. If the cow needs the cat then the cat does not need the cow. If someone chases the cat then they chase the bald eagle. If someone chases the bear then they do not chase the cow. If someone needs the bear and they are big then the bear is green. If someone sees the bear and they chase the bald eagle then the bald eagle is not green. If someone is nice and they do not chase the cow then they do not see the bear. If someone is green then they are young. If someone is young then they need the bear.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cat does not chase the bear.
("cat" "chases" "bear" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
If the cow needs the cat then the cat does not need the cow.
((("cow" "needs" "cat" "+")) -> ("cat" "needs" "cow" "-"))
If someone chases the cat then they chase the bald eagle.
((("someone" "chases" "cat" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bear then they do not chase the cow.
((("someone" "chases" "bear" "+")) -> ("someone" "chases" "cow" "-"))
If someone needs the bear and they are big then the bear is green.
((("someone" "needs" "bear" "+") ("someone" "is" "big" "+")) -> ("bear" "is" "green" "+"))
If someone sees the bear and they chase the bald eagle then the bald eagle is not green.
((("someone" "sees" "bear" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "-"))
If someone is nice and they do not chase the cow then they do not see the bear.
((("someone" "is" "nice" "+") ("someone" "chases" "cow" "~")) -> ("someone" "sees" "bear" "-"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they need the bear.
((("someone" "is" "young" "+")) -> ("someone" "needs" "bear" "+"))
The bear needs the cow.
True
1
proof
[(triple3)]
("bear" "needs" "cow" "+")
triple3
The cow does not need the bear.
False
1
inv-proof
[(triple10)]
("cow" "needs" "bear" "-")
triple10
The cat is young.
True
2
proof
[(((triple9) -> rule7))]
("cat" "is" "young" "+")
((triple9) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple9) -> rule7))]
("cat" "is" "young" "-")
((triple9) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat needs the bear.
True
3
proof
[(((((triple9) -> rule7)) -> rule8))]
("cat" "needs" "bear" "+")
((((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat does not need the bear.
False
3
inv-proof
[(((((triple9) -> rule7)) -> rule8))]
("cat" "needs" "bear" "-")
((((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bear is green.
True
5
proof
[(((((((triple9) -> rule7)) -> rule8) triple8) -> rule4))]
("bear" "is" "green" "+")
((((((triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The bear is not green.
False
5
inv-proof
[(((((((triple9) -> rule7)) -> rule8) triple8) -> rule4))]
("bear" "is" "green" "-")
((((((triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The bear is young.
True
6
proof
[(((((((((triple9) -> rule7)) -> rule8) triple8) -> rule4)) -> rule7))]
("bear" "is" "young" "+")
((((((((triple9) -> (rule7 % int4))) -> (rule8 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
The bear is not young.
False
6
inv-proof
[(((((((((triple9) -> rule7)) -> rule8) triple8) -> rule4)) -> rule7))]
("bear" "is" "young" "-")
((((((((triple9) -> (rule7 % int4))) -> (rule8 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
The bear needs the bear.
True
7
proof
[(((((((((((triple9) -> rule7)) -> rule8) triple8) -> rule4)) -> rule7)) -> rule8))]
("bear" "needs" "bear" "+")
((((((((((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The cat is young.
("cat" "is" "young" "+")
int5
The bear does not need the bear.
False
7
inv-proof
[(((((((((((triple9) -> rule7)) -> rule8) triple8) -> rule4)) -> rule7)) -> rule8))]
("bear" "needs" "bear" "-")
((((((((((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The cat is young.
("cat" "is" "young" "+")
int5
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear chases the bald eagle.
Unknown
rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "young" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "young" "+")
The bear does not chase the cat.
Unknown
inv-random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
The bald eagle does not chase the cow.
Unknown
inv-random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "-")
The cat needs the bald eagle.
Unknown
random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear is kind.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the bald eagle.[(triple4)] The bear sees the cat.[(triple5)] The bear sees the cow.[(triple6)] The cat does not chase the bear.[(triple7)] The cat is big.[(triple8)] The cat is green.[(triple9)] The cow needs the bear.[(triple10)] The cow sees the bear.[(triple11)] @1: The cat is young.[(((triple9) -> rule7))] @2: The cat needs the bear.[(((((triple9) -> rule7)) -> rule8))] @3: The bear is green.[(((((((triple9) -> rule7)) -> rule8) triple8) -> rule4))] @4: The bear is young.[(((((((((triple9) -> rule7)) -> rule8) triple8) -> rule4)) -> rule7))] @5: The bear needs the bear.[(((((((((((triple9) -> rule7)) -> rule8) triple8) -> rule4)) -> rule7)) -> rule8))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple4
The bear sees the cat.
("bear" "sees" "cat" "+")
triple5
The bear sees the cow.
("bear" "sees" "cow" "+")
triple6
The cat does not chase the bear.
("cat" "chases" "bear" "-")
triple7
The cat is big.
("cat" "is" "big" "+")
triple8
The cat is green.
("cat" "is" "green" "+")
triple9
The cow needs the bear.
("cow" "needs" "bear" "+")
triple10
The cow sees the bear.
("cow" "sees" "bear" "+")
triple11
The cat is young.
("cat" "is" "young" "+")
((triple9) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
((((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
((((((triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The bear is young.
("bear" "is" "young" "+")
((((((((triple9) -> (rule7 % int4))) -> (rule8 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((((((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The cat is young.
("cat" "is" "young" "+")
int5