The bald eagle is red. The bald eagle visits the cow. The cow is cold. The cow visits the tiger. The tiger is rough. The tiger sees the bald eagle. The tiger sees the cow. If someone sees the cow then the cow needs the tiger. If someone visits the tiger then they visit the bald eagle. If someone sees the tiger then they need the bald eagle. If someone is blue then they see the bald eagle. If someone visits the bald eagle and the bald eagle needs the tiger then they are blue. If the bald eagle needs the cow then the bald eagle sees the tiger. If the cow is red then the cow sees the bald eagle. If someone visits the tiger and they visit the cow then they see the tiger.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone sees the cow then the cow needs the tiger.
((("someone" "sees" "cow" "+")) -> ("cow" "needs" "tiger" "+"))
If someone visits the tiger then they visit the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone sees the tiger then they need the bald eagle.
((("someone" "sees" "tiger" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is blue then they see the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone visits the bald eagle and the bald eagle needs the tiger then they are blue.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("someone" "is" "blue" "+"))
If the bald eagle needs the cow then the bald eagle sees the tiger.
((("bald eagle" "needs" "cow" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If the cow is red then the cow sees the bald eagle.
((("cow" "is" "red" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone visits the tiger and they visit the cow then they see the tiger.
((("someone" "visits" "tiger" "+") ("someone" "visits" "cow" "+")) -> ("someone" "sees" "tiger" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple6)]
("tiger" "sees" "bald eagle" "+")
triple6
The cow does not visit the tiger.
False
1
inv-proof
[(triple4)]
("cow" "visits" "tiger" "-")
triple4
The cow visits the bald eagle.
True
2
proof
[(((triple4) -> rule2))]
("cow" "visits" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow does not need the tiger.
False
2
inv-proof
[(((triple7) -> rule1))]
("cow" "needs" "tiger" "-")
((triple7) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The tiger does not visit the bald eagle.
Unknown
inv-rconc
[@1: The tiger visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
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 is red.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow is cold.[(triple3)] The cow visits the tiger.[(triple4)] The tiger is rough.[(triple5)] The tiger sees the bald eagle.[(triple6)] The tiger sees the cow.[(triple7)] @1: The cow needs the tiger.[(((triple7) -> rule1))] The cow visits the bald eagle.[(((triple4) -> rule2))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple4
The tiger is rough.
("tiger" "is" "rough" "+")
triple5
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple6
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple7
The cow needs the tiger.
("cow" "needs" "tiger" "+")
((triple7) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1