The bald eagle likes the dog. The bear likes the cat. The cat does not visit the dog. The dog likes the bear. If the bear visits the bald eagle then the bald eagle is not rough. If someone is round then they do not like the bald eagle. If someone likes the cat and they are not round then they are cold. Young people are rough. If the bald eagle likes the dog then the dog is blue. If someone is cold and they like the bear then they visit the bald eagle. If someone is rough and they do not like the cat then the cat visits the bald eagle. If the dog is blue then the dog is not rough.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat does not visit the dog.
("cat" "visits" "dog" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
If the bear visits the bald eagle then the bald eagle is not rough.
((("bear" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "-"))
If someone is round then they do not like the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone likes the cat and they are not round then they are cold.
((("someone" "likes" "cat" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If the bald eagle likes the dog then the dog is blue.
((("bald eagle" "likes" "dog" "+")) -> ("dog" "is" "blue" "+"))
If someone is cold and they like the bear then they visit the bald eagle.
((("someone" "is" "cold" "+") ("someone" "likes" "bear" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is rough and they do not like the cat then the cat visits the bald eagle.
((("someone" "is" "rough" "+") ("someone" "likes" "cat" "~")) -> ("cat" "visits" "bald eagle" "+"))
If the dog is blue then the dog is not rough.
((("dog" "is" "blue" "+")) -> ("dog" "is" "rough" "-"))
The bear likes the cat.
True
1
proof
[(triple2)]
("bear" "likes" "cat" "+")
triple2
The cat visits the dog.
False
1
inv-proof
[(triple3)]
("cat" "visits" "dog" "+")
triple3
The dog is blue.
True
2
proof
[(((triple1) -> rule5))]
("dog" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple1) -> rule5))]
("dog" "is" "blue" "-")
((triple1) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not rough.
True
3
proof
[(((((triple1) -> rule5)) -> rule8))]
("dog" "is" "rough" "-")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is rough.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule8))]
("dog" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "cold" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "rough" "-")
The bear visits the cat.
Unknown
random
[@0: The bear visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cat" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
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" "+")
@0: The bald eagle likes the dog.[(triple1)] The bear likes the cat.[(triple2)] The cat does not visit the dog.[(triple3)] The dog likes the bear.[(triple4)] @1: The dog is blue.[(((triple1) -> rule5))] @2: The dog is not rough.[(((((triple1) -> rule5)) -> rule8))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The cat does not visit the dog.
("cat" "visits" "dog" "-")
triple3
The dog likes the bear.
("dog" "likes" "bear" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not rough.
("dog" "is" "rough" "-")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2