The bald eagle chases the dog. The bald eagle likes the cat. The bear does not visit the dog. The cat chases the bald eagle. The cat is green. The dog does not chase the cat. The dog visits the cat. If something visits the dog then the dog is round. If something visits the cat then it is rough. If something is round and it does not chase the cat then it does not like the bald eagle. If something likes the bear and it visits the cat then the cat is rough. If something is rough then it likes the bear. If something visits the dog then it does not visit the bald eagle. If something likes the bald eagle then it likes the dog. If something is rough and it likes the bear then it likes the dog. If something likes the bald eagle then the bald eagle does not visit the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The dog does not chase the cat.
("dog" "chases" "cat" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
If something visits the dog then the dog is round.
((("something" "visits" "dog" "+")) -> ("dog" "is" "round" "+"))
If something visits the cat then it is rough.
((("something" "visits" "cat" "+")) -> ("something" "is" "rough" "+"))
If something is round and it does not chase the cat then it does not like the bald eagle.
((("something" "is" "round" "+") ("something" "chases" "cat" "~")) -> ("something" "likes" "bald eagle" "-"))
If something likes the bear and it visits the cat then the cat is rough.
((("something" "likes" "bear" "+") ("something" "visits" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something is rough then it likes the bear.
((("something" "is" "rough" "+")) -> ("something" "likes" "bear" "+"))
If something visits the dog then it does not visit the bald eagle.
((("something" "visits" "dog" "+")) -> ("something" "visits" "bald eagle" "-"))
If something likes the bald eagle then it likes the dog.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "dog" "+"))
If something is rough and it likes the bear then it likes the dog.
((("something" "is" "rough" "+") ("something" "likes" "bear" "+")) -> ("something" "likes" "dog" "+"))
If something likes the bald eagle then the bald eagle does not visit the dog.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "dog" "-"))
The dog does not chase the cat.
True
1
proof
[(triple6)]
("dog" "chases" "cat" "-")
triple6
The bald eagle does not like the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "cat" "-")
triple2
The dog is rough.
True
2
proof
[(((triple7) -> rule2))]
("dog" "is" "rough" "+")
((triple7) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple7) -> rule2))]
("dog" "is" "rough" "-")
((triple7) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog likes the bear.
True
3
proof
[(((((triple7) -> rule2)) -> rule5))]
("dog" "likes" "bear" "+")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not like the bear.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule5))]
("dog" "likes" "bear" "-")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog likes the dog.
True
6
proof
[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule5)) -> rule8))]
("dog" "likes" "dog" "+")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cat is not rough.
False
5
inv-proof
[(((((((triple7) -> rule2)) -> rule5) triple7) -> rule4))]
("cat" "is" "rough" "-")
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cat likes the bear.
True
6
proof
[(((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4)) -> rule5))]
("cat" "likes" "bear" "+")
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The cat does not like the bear.
False
6
inv-proof
[(((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4)) -> rule5))]
("cat" "likes" "bear" "-")
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The cat likes the dog.
True
12
proof
[(((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4) ((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4)) -> rule5)) -> rule8))]
("cat" "likes" "dog" "+")
((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4)) triple7) -> (rule4 % int3)) ((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4)) triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5
The cat does not like the dog.
False
12
inv-proof
[(((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4) ((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4)) -> rule5)) -> rule8))]
("cat" "likes" "dog" "-")
((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4)) triple7) -> (rule4 % int3)) ((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4)) triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5
The bald eagle does not like the dog.
Unknown
inv-rconc
[@2: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule8 <- rule2 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The bear likes the bear.
Unknown
rconc
[@2: The bear likes the bear.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The bald eagle likes the bear.
Unknown
rconc
[@2: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("bald eagle" "likes" "bear" "+")
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bear likes the dog.
Unknown
rconc
[@2: The bear likes the dog.[CWA. Example of deepest failure = (rule8 <- rule2 <- FAIL)]]
("bear" "likes" "dog" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The cat likes the bald eagle.
Unknown
random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "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 cat visits the bear.
Unknown
random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle likes the cat.[(triple2)] The bear does not visit the dog.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat is green.[(triple5)] The dog does not chase the cat.[(triple6)] The dog visits the cat.[(triple7)] @1: The dog is rough.[(((triple7) -> rule2))] @2: The dog likes the bear.[(((((triple7) -> rule2)) -> rule5))] @3: The cat is rough.[(((((((triple7) -> rule2)) -> rule5) triple7) -> rule4))] The dog likes the dog.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule5)) -> rule8))] @4: The cat likes the bear.[(((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4)) -> rule5))] @5: The cat likes the dog.[(((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4) ((((((((triple7) -> rule2)) -> rule5) triple7) -> rule4)) -> rule5)) -> rule8))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The dog does not chase the cat.
("dog" "chases" "cat" "-")
triple6
The dog visits the cat.
("dog" "visits" "cat" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
((triple7) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cat likes the bear.
("cat" "likes" "bear" "+")
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The cat likes the dog.
("cat" "likes" "dog" "+")
((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4)) triple7) -> (rule4 % int3)) ((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4)) triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5