The bald eagle chases the tiger. The bald eagle is green. The bear chases the tiger. The bear visits the cow. The cow chases the tiger. The cow is blue. The cow is green. The cow is nice. The cow is not young. The cow does not visit the bald eagle. The cow visits the bear. The cow visits the tiger. The tiger chases the bald eagle. The tiger is nice. The tiger sees the bald eagle. The tiger visits the bear. If someone is cold and not green then they see the cow. If someone is blue and they chase the cow then they do not see the bear. If someone chases the cow and the cow sees the tiger then the tiger does not chase the bald eagle. If someone is blue then they see the bald eagle. If someone chases the bear and they chase the bald eagle then the bear chases the tiger. If someone chases the cow and the cow is blue then the cow visits the bald eagle. If someone is young and they do not visit the cow then they chase the bear. If the bear sees the cow and the bear does not see the bald eagle then the bear visits the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone is cold and not green then they see the cow.
((("someone" "is" "cold" "+") ("someone" "is" "green" "~")) -> ("someone" "sees" "cow" "+"))
If someone is blue and they chase the cow then they do not see the bear.
((("someone" "is" "blue" "+") ("someone" "chases" "cow" "+")) -> ("someone" "sees" "bear" "-"))
If someone chases the cow and the cow sees the tiger then the tiger does not chase the bald eagle.
((("someone" "chases" "cow" "+") ("cow" "sees" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "-"))
If someone is blue then they see the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the bear and they chase the bald eagle then the bear chases the tiger.
((("someone" "chases" "bear" "+") ("someone" "chases" "bald eagle" "+")) -> ("bear" "chases" "tiger" "+"))
If someone chases the cow and the cow is blue then the cow visits the bald eagle.
((("someone" "chases" "cow" "+") ("cow" "is" "blue" "+")) -> ("cow" "visits" "bald eagle" "+"))
If someone is young and they do not visit the cow then they chase the bear.
((("someone" "is" "young" "+") ("someone" "visits" "cow" "~")) -> ("someone" "chases" "bear" "+"))
If the bear sees the cow and the bear does not see the bald eagle then the bear visits the tiger.
((("bear" "sees" "cow" "+") ("bear" "sees" "bald eagle" "~")) -> ("bear" "visits" "tiger" "+"))
The bald eagle is green.
True
1
proof
[(triple2)]
("bald eagle" "is" "green" "+")
triple2
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "tiger" "-")
triple1
The cow sees the bald eagle.
True
2
proof
[(((triple6) -> rule4))]
("cow" "sees" "bald eagle" "+")
((triple6) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow does not see the bald eagle.
False
2
inv-proof
[(((triple6) -> rule4))]
("cow" "sees" "bald eagle" "-")
((triple6) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The cow sees the cow.
Unknown
rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "cow" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bear chases the tiger.[(triple3)] The bear visits the cow.[(triple4)] The cow chases the tiger.[(triple5)] The cow does not visit the bald eagle.[(triple10)] The cow is blue.[(triple6)] The cow is green.[(triple7)] The cow is nice.[(triple8)] The cow is not young.[(triple9)] The cow visits the bear.[(triple11)] The cow visits the tiger.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger is nice.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger visits the bear.[(triple16)] @1: The cow sees the bald eagle.[(((triple6) -> rule4))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear visits the cow.
("bear" "visits" "cow" "+")
triple4
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple5
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple10
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is not young.
("cow" "is" "young" "-")
triple9
The cow visits the bear.
("cow" "visits" "bear" "+")
triple11
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple12
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple6) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1