The bald eagle likes the dog. The bald eagle needs the dog. The bear is green. The bear needs the bald eagle. The bear sees the cat. The bear sees the dog. The cat needs the bear. The cat sees the dog. The dog likes the bear. The dog sees the bear. If something is blue then it needs the bear. If something is green then it needs the bear. If something is green and it needs the dog then it needs the bear. If something needs the bear then it likes the bald eagle. If something likes the dog then the dog likes the cat. If the dog sees the bear and the bear likes the bald eagle then the bald eagle is green. If something needs the bald eagle and it sees the bald eagle then it is not red. If the bear likes the cat then the cat is not big.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If something is blue then it needs the bear.
((("something" "is" "blue" "+")) -> ("something" "needs" "bear" "+"))
If something is green then it needs the bear.
((("something" "is" "green" "+")) -> ("something" "needs" "bear" "+"))
If something is green and it needs the dog then it needs the bear.
((("something" "is" "green" "+") ("something" "needs" "dog" "+")) -> ("something" "needs" "bear" "+"))
If something needs the bear then it likes the bald eagle.
((("something" "needs" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the dog then the dog likes the cat.
((("something" "likes" "dog" "+")) -> ("dog" "likes" "cat" "+"))
If the dog sees the bear and the bear likes the bald eagle then the bald eagle is green.
((("dog" "sees" "bear" "+") ("bear" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If something needs the bald eagle and it sees the bald eagle then it is not red.
((("something" "needs" "bald eagle" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "is" "red" "-"))
If the bear likes the cat then the cat is not big.
((("bear" "likes" "cat" "+")) -> ("cat" "is" "big" "-"))
The bear sees the cat.
True
1
proof
[(triple5)]
("bear" "sees" "cat" "+")
triple5
The bald eagle does not need the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "dog" "-")
triple2
The cat likes the bald eagle.
True
2
proof
[(((triple7) -> rule4))]
("cat" "likes" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "needs" "bear" "-")
((triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear likes the bald eagle.
True
3
proof
[(((((triple3) -> rule2)) -> rule4))]
("bear" "likes" "bald eagle" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear does not like the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule4))]
("bear" "likes" "bald eagle" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bald eagle is green.
True
5
proof
[(((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6))]
("bald eagle" "is" "green" "+")
((triple10 ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bald eagle is not green.
False
5
inv-proof
[(((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6))]
("bald eagle" "is" "green" "-")
((triple10 ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bald eagle needs the bear.
True
6
proof
[(((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6)) -> rule2) OR ((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6) triple2) -> rule3))]
("bald eagle" "needs" "bear" "+")
((((triple10 ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
((((triple10 ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bald eagle does not need the bear.
False
6
inv-proof
[(((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6)) -> rule2) OR ((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6) triple2) -> rule3))]
("bald eagle" "needs" "bear" "-")
((((triple10 ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
((((triple10 ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bald eagle likes the bald eagle.
True
7
proof
[(((((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6)) -> rule2)) -> rule4) OR ((((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6) triple2) -> rule3)) -> rule4))]
("bald eagle" "likes" "bald eagle" "+")
((((((triple10 ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
int5
((((((triple10 ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
int5
The bald eagle does not like the bald eagle.
False
7
inv-proof
[(((((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6)) -> rule2)) -> rule4) OR ((((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6) triple2) -> rule3)) -> rule4))]
("bald eagle" "likes" "bald eagle" "-")
((((((triple10 ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
int5
((((((triple10 ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
int5
The dog does not like the bald eagle.
Unknown
inv-rconc
[@2: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("dog" "likes" "bald eagle" "-")
The dog needs the bear.
Unknown
rconc
[@1: The dog needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "bear" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog sees the cat.
Unknown
random
[@0: The dog sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cat" "+")
The bald eagle does not need the cat.
Unknown
inv-random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "-")
The cat likes the dog.
Unknown
random
[@0: The cat likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "dog" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
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 bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The bald eagle does not like the cat.
Unknown
inv-random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle needs the dog.[(triple2)] The bear is green.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear sees the cat.[(triple5)] The bear sees the dog.[(triple6)] The cat needs the bear.[(triple7)] The cat sees the dog.[(triple8)] The dog likes the bear.[(triple9)] The dog sees the bear.[(triple10)] @1: The bear needs the bear.[(((triple3) -> rule2))] The cat likes the bald eagle.[(((triple7) -> rule4))] The dog likes the cat.[(((triple1) -> rule5))] @2: The bear likes the bald eagle.[(((((triple3) -> rule2)) -> rule4))] @3: The bald eagle is green.[(((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6))] @4: The bald eagle needs the bear.[(((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6)) -> rule2) OR ((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6) triple2) -> rule3))] @5: The bald eagle likes the bald eagle.[(((((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6)) -> rule2)) -> rule4) OR ((((((triple10 ((((triple3) -> rule2)) -> rule4)) -> rule6) triple2) -> rule3)) -> rule4))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The bear sees the cat.
("bear" "sees" "cat" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The cat needs the bear.
("cat" "needs" "bear" "+")
triple7
The cat sees the dog.
("cat" "sees" "dog" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The dog likes the cat.
("dog" "likes" "cat" "+")
((triple1) -> (rule5 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple10 ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((((triple10 ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
((((triple10 ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((((triple10 ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
int5
((((((triple10 ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
int5