The bald eagle likes the rabbit. The cow likes the rabbit. The rabbit visits the cow. If someone visits the bald eagle then they visit the cow. If someone visits the rabbit then they do not like the rabbit. If someone visits the cow and the cow likes the rabbit then they do not like the bald eagle. If someone likes the bald eagle then they are young. If someone likes the rabbit and the rabbit visits the bald eagle then the bald eagle visits the rabbit. If the bald eagle visits the rabbit and the rabbit visits the cow then the cow does not like the bald eagle. If someone is rough then they visit the bald eagle. If someone is blue and they do not like the bald eagle then they are nice.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone visits the bald eagle then they visit the cow.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "cow" "+"))
If someone visits the rabbit then they do not like the rabbit.
((("someone" "visits" "rabbit" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone visits the cow and the cow likes the rabbit then they do not like the bald eagle.
((("someone" "visits" "cow" "+") ("cow" "likes" "rabbit" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone likes the bald eagle then they are young.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone likes the rabbit and the rabbit visits the bald eagle then the bald eagle visits the rabbit.
((("someone" "likes" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If the bald eagle visits the rabbit and the rabbit visits the cow then the cow does not like the bald eagle.
((("bald eagle" "visits" "rabbit" "+") ("rabbit" "visits" "cow" "+")) -> ("cow" "likes" "bald eagle" "-"))
If someone is rough then they visit the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is blue and they do not like the bald eagle then they are nice.
((("someone" "is" "blue" "+") ("someone" "likes" "bald eagle" "~")) -> ("someone" "is" "nice" "+"))
The rabbit visits the cow.
True
1
proof
[(triple3)]
("rabbit" "visits" "cow" "+")
triple3
The cow does not like the rabbit.
False
1
inv-proof
[(triple2)]
("cow" "likes" "rabbit" "-")
triple2
The rabbit does not like the bald eagle.
True
3
proof
[(((triple3 triple2) -> rule3))]
("rabbit" "likes" "bald eagle" "-")
((triple3 triple2) -> (rule3 % int1))
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
int1
The rabbit likes the bald eagle.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("rabbit" "likes" "bald eagle" "+")
((triple3 triple2) -> (rule3 % int1))
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
int1
The bald eagle does not visit the rabbit.
Unknown
inv-rconc
[@2: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The cow likes the rabbit.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The rabbit does not like the bald eagle.[(((triple3 triple2) -> rule3))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple3
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
((triple3 triple2) -> (rule3 % int1))
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
int1