The bald eagle is red. The bald eagle likes the lion. The bald eagle likes the rabbit. The cat chases the rabbit. The lion is not green. The rabbit chases the cat. The rabbit does not chase the lion. The rabbit is red. The rabbit likes the lion. The rabbit does not visit the lion. If someone visits the rabbit and they are young then they visit the bald eagle. If someone chases the cat and they are not nice then the cat is big. If the bald eagle does not like the cat then the cat visits the bald eagle. If someone is green then they do not chase the rabbit. If someone chases the rabbit then they like the rabbit. Red, nice people are not big. If someone is nice and red then they do not chase the lion. If someone visits the bald eagle then they chase the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The lion is not green.
("lion" "is" "green" "-")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
If someone visits the rabbit and they are young then they visit the bald eagle.
((("someone" "visits" "rabbit" "+") ("someone" "is" "young" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone chases the cat and they are not nice then the cat is big.
((("someone" "chases" "cat" "+") ("someone" "is" "nice" "~")) -> ("cat" "is" "big" "+"))
If the bald eagle does not like the cat then the cat visits the bald eagle.
((("bald eagle" "likes" "cat" "~")) -> ("cat" "visits" "bald eagle" "+"))
If someone is green then they do not chase the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "chases" "rabbit" "-"))
If someone chases the rabbit then they like the rabbit.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
Red, nice people are not big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "-"))
If someone is nice and red then they do not chase the lion.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "lion" "-"))
If someone visits the bald eagle then they chase the bald eagle.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
The rabbit does not visit the lion.
True
1
proof
[(triple10)]
("rabbit" "visits" "lion" "-")
triple10
The bald eagle is not red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The cat likes the rabbit.
True
2
proof
[(((triple4) -> rule5))]
("cat" "likes" "rabbit" "+")
((triple4) -> (rule5 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The cat does not like the rabbit.
False
2
inv-proof
[(((triple4) -> rule5))]
("cat" "likes" "rabbit" "-")
((triple4) -> (rule5 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The lion does not chase the bald eagle.
Unknown
inv-rconc
[@2: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("lion" "chases" "bald eagle" "-")
The rabbit visits the bald eagle.
Unknown
rconc
[@1: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "bald eagle" "+")
The bald eagle does not chase the lion.
Unknown
inv-random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "-")
The lion chases the rabbit.
Unknown
random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The cat chases the rabbit.[(triple4)] The lion is not green.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit does not chase the lion.[(triple7)] The rabbit does not visit the lion.[(triple10)] The rabbit is red.[(triple8)] The rabbit likes the lion.[(triple9)] @1: The cat likes the rabbit.[(((triple4) -> rule5))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple4
The lion is not green.
("lion" "is" "green" "-")
triple5
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple6
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
triple7
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple9
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
((triple4) -> (rule5 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1