The bald eagle is big. The bald eagle is rough. The bald eagle needs the bear. The bear is big. The bear is round. The bear does not like the cat. The bear sees the cow. The cat sees the bald eagle. The cat does not see the cow. The cow is big. The cow is not rough. The cow likes the bald eagle. The cow needs the bald eagle. The cow does not see the cat. If the bald eagle likes the cow then the bald eagle likes the bear. If the cow needs the cat and the cat needs the cow then the cow needs the bald eagle. If someone likes the bald eagle then the bald eagle likes the cow. If someone likes the bear then the bear is rough. If someone sees the cow then the cow does not see the bear. If someone is rough then they see the bear. If someone is big then they do not need the cat. If someone sees the bear then they are young. If someone needs the cow and they are not young then they do not like the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the cat.
("bear" "likes" "cat" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat does not see the cow.
("cat" "sees" "cow" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow does not see the cat.
("cow" "sees" "cat" "-")
If the bald eagle likes the cow then the bald eagle likes the bear.
((("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "likes" "bear" "+"))
If the cow needs the cat and the cat needs the cow then the cow needs the bald eagle.
((("cow" "needs" "cat" "+") ("cat" "needs" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle likes the cow.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "+"))
If someone likes the bear then the bear is rough.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "rough" "+"))
If someone sees the cow then the cow does not see the bear.
((("someone" "sees" "cow" "+")) -> ("cow" "sees" "bear" "-"))
If someone is rough then they see the bear.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bear" "+"))
If someone is big then they do not need the cat.
((("someone" "is" "big" "+")) -> ("someone" "needs" "cat" "-"))
If someone sees the bear then they are young.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "young" "+"))
If someone needs the cow and they are not young then they do not like the cat.
((("someone" "needs" "cow" "+") ("someone" "is" "young" "~")) -> ("someone" "likes" "cat" "-"))
The bear is round.
True
1
proof
[(triple5)]
("bear" "is" "round" "+")
triple5
The bear does not see the cow.
False
1
inv-proof
[(triple7)]
("bear" "sees" "cow" "-")
triple7
The bear does not need the cat.
True
2
proof
[(((triple4) -> rule7))]
("bear" "needs" "cat" "-")
((triple4) -> (rule7 % int1))
The bear does not need the cat.
("bear" "needs" "cat" "-")
int1
The bald eagle does not like the cow.
False
2
inv-proof
[(((triple12) -> rule3))]
("bald eagle" "likes" "cow" "-")
((triple12) -> (rule3 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle likes the bear.
True
3
proof
[(((((triple12) -> rule3)) -> rule1))]
("bald eagle" "likes" "bear" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle is not young.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule8))]
("bald eagle" "is" "young" "-")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear is rough.
True
4
proof
[(((((((triple12) -> rule3)) -> rule1)) -> rule4))]
("bear" "is" "rough" "+")
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int3
The bear is not rough.
False
4
inv-proof
[(((((((triple12) -> rule3)) -> rule1)) -> rule4))]
("bear" "is" "rough" "-")
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int3
The bear sees the bear.
True
5
proof
[(((((((((triple12) -> rule3)) -> rule1)) -> rule4)) -> rule6))]
("bear" "sees" "bear" "+")
((((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int4
The bear does not see the bear.
False
5
inv-proof
[(((((((((triple12) -> rule3)) -> rule1)) -> rule4)) -> rule6))]
("bear" "sees" "bear" "-")
((((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int4
The bear is young.
True
6
proof
[(((((((((((triple12) -> rule3)) -> rule1)) -> rule4)) -> rule6)) -> rule8))]
("bear" "is" "young" "+")
((((((((((triple12) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int5
The bear is not young.
False
6
inv-proof
[(((((((((((triple12) -> rule3)) -> rule1)) -> rule4)) -> rule6)) -> rule8))]
("bear" "is" "young" "-")
((((((((((triple12) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int5
The cat is not young.
Unknown
inv-rconc
[@2: The cat is young.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("cat" "is" "young" "-")
The cat sees the bear.
Unknown
rconc
[@1: The cat sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "sees" "bear" "+")
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "young" "-")
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 cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cat does not like the bear.
Unknown
inv-random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "-")
The bald eagle sees the cow.
Unknown
random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cow" "+")
The bear does not see the cat.
Unknown
inv-random
[@0: The bear sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cat" "-")
The bear likes the bald eagle.
Unknown
random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear does not like the cat.[(triple6)] The bear is big.[(triple4)] The bear is round.[(triple5)] The bear sees the cow.[(triple7)] The cat does not see the cow.[(triple9)] The cat sees the bald eagle.[(triple8)] The cow does not see the cat.[(triple14)] The cow is big.[(triple10)] The cow is not rough.[(triple11)] The cow likes the bald eagle.[(triple12)] The cow needs the bald eagle.[(triple13)] @1: The bald eagle does not need the cat.[(((triple1) -> rule7))] The bald eagle likes the cow.[(((triple12) -> rule3))] The bald eagle sees the bear.[(((triple2) -> rule6))] The bear does not need the cat.[(((triple4) -> rule7))] The cow does not need the cat.[(((triple10) -> rule7))] The cow does not see the bear.[(((triple7) -> rule5))] @2: The bald eagle is young.[(((((triple2) -> rule6)) -> rule8))] The bald eagle likes the bear.[(((((triple12) -> rule3)) -> rule1))] @3: The bear is rough.[(((((((triple12) -> rule3)) -> rule1)) -> rule4))] @4: The bear sees the bear.[(((((((((triple12) -> rule3)) -> rule1)) -> rule4)) -> rule6))] @5: The bear is young.[(((((((((((triple12) -> rule3)) -> rule1)) -> rule4)) -> rule6)) -> rule8))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear does not like the cat.
("bear" "likes" "cat" "-")
triple6
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear sees the cow.
("bear" "sees" "cow" "+")
triple7
The cat does not see the cow.
("cat" "sees" "cow" "-")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple8
The cow does not see the cat.
("cow" "sees" "cat" "-")
triple14
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is not rough.
("cow" "is" "rough" "-")
triple11
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple12
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple13
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
((triple1) -> (rule7 % int1))
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((triple12) -> (rule3 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple2) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear does not need the cat.
("bear" "needs" "cat" "-")
((triple4) -> (rule7 % int1))
The bear does not need the cat.
("bear" "needs" "cat" "-")
int1
The cow does not need the cat.
("cow" "needs" "cat" "-")
((triple10) -> (rule7 % int1))
The cow does not need the cat.
("cow" "needs" "cat" "-")
int1
The cow does not see the bear.
("cow" "sees" "bear" "-")
((triple7) -> (rule5 % int1))
The cow does not see the bear.
("cow" "sees" "bear" "-")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
((((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int4
The bear is young.
("bear" "is" "young" "+")
((((((((((triple12) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int5