The bald eagle eats the cow. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is young. The bald eagle does not like the cow. The bald eagle visits the tiger. The cow eats the tiger. The cow is rough. The cow likes the tiger. The cow visits the tiger. The tiger eats the bald eagle. The tiger does not eat the cow. The tiger likes the bald eagle. The tiger visits the cow. If something is green and cold then it visits the cow. If the bald eagle is young and the bald eagle is not rough then the bald eagle visits the cow. If the bald eagle is rough and the cow does not eat the bald eagle then the bald eagle does not visit the cow. If something eats the tiger and it likes the tiger then it visits the bald eagle. If something is rough and it does not like the tiger then the tiger does not like the bald eagle. If the tiger does not like the cow then the tiger visits the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something is green and cold then it visits the cow.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "visits" "cow" "+"))
If the bald eagle is young and the bald eagle is not rough then the bald eagle visits the cow.
((("bald eagle" "is" "young" "+") ("bald eagle" "is" "rough" "~")) -> ("bald eagle" "visits" "cow" "+"))
If the bald eagle is rough and the cow does not eat the bald eagle then the bald eagle does not visit the cow.
((("bald eagle" "is" "rough" "+") ("cow" "eats" "bald eagle" "~")) -> ("bald eagle" "visits" "cow" "-"))
If something eats the tiger and it likes the tiger then it visits the bald eagle.
((("something" "eats" "tiger" "+") ("something" "likes" "tiger" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is rough and it does not like the tiger then the tiger does not like the bald eagle.
((("something" "is" "rough" "+") ("something" "likes" "tiger" "~")) -> ("tiger" "likes" "bald eagle" "-"))
If the tiger does not like the cow then the tiger visits the cow.
((("tiger" "likes" "cow" "~")) -> ("tiger" "visits" "cow" "+"))
The cow visits the tiger.
True
1
proof
[(triple11)]
("cow" "visits" "tiger" "+")
triple11
The bald eagle likes the cow.
False
1
inv-proof
[(triple6)]
("bald eagle" "likes" "cow" "+")
triple6
The cow visits the bald eagle.
True
3
proof
[(((triple8 triple10) -> rule4))]
("cow" "visits" "bald eagle" "+")
((triple8 triple10) -> (rule4 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow does not visit the bald eagle.
False
3
inv-proof
[(((triple8 triple10) -> rule4))]
("cow" "visits" "bald eagle" "-")
((triple8 triple10) -> (rule4 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the cow.
Unknown
inv-rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "cow" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle does not like the cow.[(triple6)] The bald eagle eats the cow.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle visits the tiger.[(triple7)] The cow eats the tiger.[(triple8)] The cow is rough.[(triple9)] The cow likes the tiger.[(triple10)] The cow visits the tiger.[(triple11)] The tiger does not eat the cow.[(triple13)] The tiger eats the bald eagle.[(triple12)] The tiger likes the bald eagle.[(triple14)] The tiger visits the cow.[(triple15)] @1: The cow visits the bald eagle.[(((triple8 triple10) -> rule4))]
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple6
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple7
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple8
The cow is rough.
("cow" "is" "rough" "+")
triple9
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple10
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple11
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
triple13
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple12
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple8 triple10) -> (rule4 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1