The bald eagle is red. The bald eagle likes the cow. The bald eagle likes the rabbit. The bald eagle needs the cow. The cow is red. The cow does not like the rabbit. The cow does not need the bald eagle. The cow does not need the rabbit. The rabbit eats the bald eagle. The rabbit eats the cow. The rabbit is nice. The tiger is nice. If someone likes the bald eagle then the bald eagle is blue. If someone needs the tiger then the tiger is not red. If the tiger eats the cow and the cow does not eat the rabbit then the rabbit likes the cow.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow is red.
("cow" "is" "red" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone likes the bald eagle then the bald eagle is blue.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone needs the tiger then the tiger is not red.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "red" "-"))
If the tiger eats the cow and the cow does not eat the rabbit then the rabbit likes the cow.
((("tiger" "eats" "cow" "+") ("cow" "eats" "rabbit" "~")) -> ("rabbit" "likes" "cow" "+"))
The rabbit eats the cow.
True
1
proof
[(triple10)]
("rabbit" "eats" "cow" "+")
triple10
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple9)]
("rabbit" "eats" "bald eagle" "-")
triple9
The rabbit does not like the cow.
Unknown
inv-rconc
[@1: The rabbit likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "cow" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow does not like the rabbit.[(triple6)] The cow does not need the bald eagle.[(triple7)] The cow does not need the rabbit.[(triple8)] The cow is red.[(triple5)] The rabbit eats the bald eagle.[(triple9)] The rabbit eats the cow.[(triple10)] The rabbit is nice.[(triple11)] The tiger is nice.[(triple12)]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple6
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
triple7
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple8
The cow is red.
("cow" "is" "red" "+")
triple5
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple9
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12