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