The bald eagle does not chase the rabbit. The dog chases the bald eagle. The rabbit likes the bald eagle. If someone chases the bald eagle and they need the bald eagle then they do not like the bald eagle. If someone likes the bald eagle then the bald eagle is blue. If the dog likes the rabbit then the dog is rough. If someone is blue then they do not like the rabbit. If someone is blue and they chase the rabbit then the rabbit is nice. If the bald eagle likes the rabbit and the rabbit needs the bald eagle then the rabbit chases the dog.
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If someone chases the bald eagle and they need the bald eagle then they do not like the bald eagle.
((("someone" "chases" "bald eagle" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone likes the bald eagle then the bald eagle is blue.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If the dog likes the rabbit then the dog is rough.
((("dog" "likes" "rabbit" "+")) -> ("dog" "is" "rough" "+"))
If someone is blue then they do not like the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone is blue and they chase the rabbit then the rabbit is nice.
((("someone" "is" "blue" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If the bald eagle likes the rabbit and the rabbit needs the bald eagle then the rabbit chases the dog.
((("bald eagle" "likes" "rabbit" "+") ("rabbit" "needs" "bald eagle" "+")) -> ("rabbit" "chases" "dog" "+"))
The bald eagle does not chase the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
The dog does not chase the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "chases" "bald eagle" "-")
triple2
The bald eagle is blue.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "is" "blue" "-")
((triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle does not like the rabbit.
True
3
proof
[(((((triple3) -> rule2)) -> rule4))]
("bald eagle" "likes" "rabbit" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle likes the rabbit.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule4))]
("bald eagle" "likes" "rabbit" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The rabbit does not chase the dog.
Unknown
inv-rconc
[@1: The rabbit chases the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "dog" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "rough" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "nice" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The rabbit does not need the dog.
Unknown
inv-random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle does not chase the rabbit.[(triple1)] The dog chases the bald eagle.[(triple2)] The rabbit likes the bald eagle.[(triple3)] @1: The bald eagle is blue.[(((triple3) -> rule2))] @2: The bald eagle does not like the rabbit.[(((((triple3) -> rule2)) -> rule4))]
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2