The bald eagle chases the cat. The bald eagle is not green. The bald eagle is nice. The bald eagle visits the cat. The cat is kind. The cat sees the tiger. The cow sees the bald eagle. The tiger is green. The tiger is nice. The tiger does not visit the cow. If something is kind then it visits the cow. If the bald eagle is blue then the bald eagle is nice. If something chases the cow and the cow visits the tiger then the tiger sees the cow. If something visits the tiger then it sees the tiger. If something visits the cow and it does not chase the tiger then it is kind. If something is blue and it does not visit the cow then it is green. If the cow is green and the cow is not blue then the cow does not see the cat. If something chases the cow and it is not nice then the cow sees the tiger.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
If something is kind then it visits the cow.
((("something" "is" "kind" "+")) -> ("something" "visits" "cow" "+"))
If the bald eagle is blue then the bald eagle is nice.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "nice" "+"))
If something chases the cow and the cow visits the tiger then the tiger sees the cow.
((("something" "chases" "cow" "+") ("cow" "visits" "tiger" "+")) -> ("tiger" "sees" "cow" "+"))
If something visits the tiger then it sees the tiger.
((("something" "visits" "tiger" "+")) -> ("something" "sees" "tiger" "+"))
If something visits the cow and it does not chase the tiger then it is kind.
((("something" "visits" "cow" "+") ("something" "chases" "tiger" "~")) -> ("something" "is" "kind" "+"))
If something is blue and it does not visit the cow then it is green.
((("something" "is" "blue" "+") ("something" "visits" "cow" "~")) -> ("something" "is" "green" "+"))
If the cow is green and the cow is not blue then the cow does not see the cat.
((("cow" "is" "green" "+") ("cow" "is" "blue" "~")) -> ("cow" "sees" "cat" "-"))
If something chases the cow and it is not nice then the cow sees the tiger.
((("something" "chases" "cow" "+") ("something" "is" "nice" "~")) -> ("cow" "sees" "tiger" "+"))
The cat sees the tiger.
True
1
proof
[(triple6)]
("cat" "sees" "tiger" "+")
triple6
The bald eagle is green.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle visits the tiger.
Unknown
random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple3)] The bald eagle is not green.[(triple2)] The bald eagle visits the cat.[(triple4)] The cat is kind.[(triple5)] The cat sees the tiger.[(triple6)] The cow sees the bald eagle.[(triple7)] The tiger does not visit the cow.[(triple10)] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] @1: The cat visits the cow.[(((triple5) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple5
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The cat visits the cow.
("cat" "visits" "cow" "+")
((triple5) -> (rule1 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1