The bald eagle visits the bear. The bald eagle visits the dog. The bear likes the bald eagle. The dog does not eat the bald eagle. The dog is not cold. The dog likes the bald eagle. The dog visits the bald eagle. If something likes the dog then it is green. If the bear visits the dog then the dog likes the bear. If something is green then it does not visit the bald eagle. If something eats the dog and it visits the dog then it does not eat the bald eagle. If something is kind then it likes the dog. If the bear likes the bald eagle and the bald eagle visits the bear then the bald eagle likes the dog.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog is not cold.
("dog" "is" "cold" "-")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If something likes the dog then it is green.
((("something" "likes" "dog" "+")) -> ("something" "is" "green" "+"))
If the bear visits the dog then the dog likes the bear.
((("bear" "visits" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If something is green then it does not visit the bald eagle.
((("something" "is" "green" "+")) -> ("something" "visits" "bald eagle" "-"))
If something eats the dog and it visits the dog then it does not eat the bald eagle.
((("something" "eats" "dog" "+") ("something" "visits" "dog" "+")) -> ("something" "eats" "bald eagle" "-"))
If something is kind then it likes the dog.
((("something" "is" "kind" "+")) -> ("something" "likes" "dog" "+"))
If the bear likes the bald eagle and the bald eagle visits the bear then the bald eagle likes the dog.
((("bear" "likes" "bald eagle" "+") ("bald eagle" "visits" "bear" "+")) -> ("bald eagle" "likes" "dog" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple6)]
("dog" "likes" "bald eagle" "+")
triple6
The dog is cold.
False
1
inv-proof
[(triple5)]
("dog" "is" "cold" "+")
triple5
The bald eagle likes the dog.
True
3
proof
[(((triple3 triple1) -> rule6))]
("bald eagle" "likes" "dog" "+")
((triple3 triple1) -> (rule6 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle does not like the dog.
False
3
inv-proof
[(((triple3 triple1) -> rule6))]
("bald eagle" "likes" "dog" "-")
((triple3 triple1) -> (rule6 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is green.
True
4
proof
[(((((triple3 triple1) -> rule6)) -> rule1))]
("bald eagle" "is" "green" "+")
((((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is not green.
False
4
inv-proof
[(((((triple3 triple1) -> rule6)) -> rule1))]
("bald eagle" "is" "green" "-")
((((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle does not visit the bald eagle.
True
5
proof
[(((((((triple3 triple1) -> rule6)) -> rule1)) -> rule3))]
("bald eagle" "visits" "bald eagle" "-")
((((((triple3 triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle visits the bald eagle.
False
5
inv-proof
[(((((((triple3 triple1) -> rule6)) -> rule1)) -> rule3))]
("bald eagle" "visits" "bald eagle" "+")
((((((triple3 triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "likes" "dog" "-")
The bear is green.
Unknown
rconc
[@2: The bear is green.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bear" "is" "green" "+")
The dog is not green.
Unknown
inv-rconc
[@2: The dog is green.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("dog" "is" "green" "-")
The dog likes the bear.
Unknown
rconc
[@1: The dog likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "bear" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the dog.[(triple2)] The bear likes the bald eagle.[(triple3)] The dog does not eat the bald eagle.[(triple4)] The dog is not cold.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog visits the bald eagle.[(triple7)] @1: The bald eagle likes the dog.[(((triple3 triple1) -> rule6))] @2: The bald eagle is green.[(((((triple3 triple1) -> rule6)) -> rule1))] @3: The bald eagle does not visit the bald eagle.[(((((((triple3 triple1) -> rule6)) -> rule1)) -> rule3))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple3
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple4
The dog is not cold.
("dog" "is" "cold" "-")
triple5
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple6
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple7
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple3 triple1) -> (rule6 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
((((((triple3 triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3