The bald eagle is green. The bald eagle is rough. The bald eagle likes the tiger. The bald eagle needs the tiger. The bald eagle visits the cow. The cow is cold. The cow likes the bald eagle. The cow does not need the tiger. The tiger is not rough. The tiger needs the bald eagle. The tiger visits the bald eagle. The tiger visits the cow. If someone visits the cow then they do not like the cow.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone visits the cow then they do not like the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "likes" "cow" "-"))
The bald eagle likes the tiger.
True
1
proof
[(triple3)]
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The tiger does not like the cow.
True
2
proof
[(((triple12) -> rule1))]
("tiger" "likes" "cow" "-")
((triple12) -> (rule1 % int1))
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
int1
The bald eagle likes the cow.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "likes" "cow" "+")
((triple5) -> (rule1 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow does not need the tiger.[(triple8)] The cow is cold.[(triple6)] The cow likes the bald eagle.[(triple7)] The tiger is not rough.[(triple9)] The tiger needs the bald eagle.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the cow.[(triple12)] @1: The bald eagle does not like the cow.[(((triple5) -> rule1))] The tiger does not like the cow.[(((triple12) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The tiger is not rough.
("tiger" "is" "rough" "-")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
((triple5) -> (rule1 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
((triple12) -> (rule1 % int1))
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
int1