The bald eagle chases the cow. The bald eagle chases the tiger. The cow is big. The cow likes the tiger. The rabbit is blue. The rabbit is nice. The tiger is big. The tiger is not green. The tiger is round. The tiger does not like the rabbit. If the rabbit is green and the rabbit likes the cow then the rabbit chases the tiger. If the rabbit is not green then the rabbit is big. If someone is big and they need the cow then the cow chases the tiger. If someone likes the tiger then they do not like the cow. If someone is green and they need the tiger then the tiger needs the bald eagle. If the rabbit does not like the cow and the cow does not need the tiger then the cow is blue.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not green.
("tiger" "is" "green" "-")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
If the rabbit is green and the rabbit likes the cow then the rabbit chases the tiger.
((("rabbit" "is" "green" "+") ("rabbit" "likes" "cow" "+")) -> ("rabbit" "chases" "tiger" "+"))
If the rabbit is not green then the rabbit is big.
((("rabbit" "is" "green" "~")) -> ("rabbit" "is" "big" "+"))
If someone is big and they need the cow then the cow chases the tiger.
((("someone" "is" "big" "+") ("someone" "needs" "cow" "+")) -> ("cow" "chases" "tiger" "+"))
If someone likes the tiger then they do not like the cow.
((("someone" "likes" "tiger" "+")) -> ("someone" "likes" "cow" "-"))
If someone is green and they need the tiger then the tiger needs the bald eagle.
((("someone" "is" "green" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If the rabbit does not like the cow and the cow does not need the tiger then the cow is blue.
((("rabbit" "likes" "cow" "~") ("cow" "needs" "tiger" "~")) -> ("cow" "is" "blue" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple2)]
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "chases" "tiger" "-")
triple2
The cow does not like the cow.
True
2
proof
[(((triple4) -> rule4))]
("cow" "likes" "cow" "-")
((triple4) -> (rule4 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The cow likes the cow.
False
2
inv-proof
[(((triple4) -> rule4))]
("cow" "likes" "cow" "+")
((triple4) -> (rule4 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The rabbit does not chase the tiger.
Unknown
inv-rconc
[@1: The rabbit chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "tiger" "-")
The cow is blue.
Unknown
rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "blue" "+")
The bald eagle does not chase the rabbit.
Unknown
inv-random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The bald eagle needs the tiger.
Unknown
random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The cow is big.[(triple3)] The cow likes the tiger.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is nice.[(triple6)] The tiger does not like the rabbit.[(triple10)] The tiger is big.[(triple7)] The tiger is not green.[(triple8)] The tiger is round.[(triple9)] @1: The cow does not like the cow.[(((triple4) -> rule4))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple6
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple7
The tiger is not green.
("tiger" "is" "green" "-")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The cow does not like the cow.
("cow" "likes" "cow" "-")
((triple4) -> (rule4 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1