The bald eagle likes the cat. The bear is green. The cat is blue. The cow is cold. If something is cold then it does not like the cat.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
If something is cold then it does not like the cat.
((("something" "is" "cold" "+")) -> ("something" "likes" "cat" "-"))
The cow is cold.
True
1
proof
[(triple4)]
("cow" "is" "cold" "+")
triple4
The bear is not green.
False
1
inv-proof
[(triple2)]
("bear" "is" "green" "-")
triple2
The cow does not like the cat.
True
2
proof
[(((triple4) -> rule1))]
("cow" "likes" "cat" "-")
((triple4) -> (rule1 % int1))
The cow does not like the cat.
("cow" "likes" "cat" "-")
int1
The cow likes the cat.
False
2
inv-proof
[(((triple4) -> rule1))]
("cow" "likes" "cat" "+")
((triple4) -> (rule1 % int1))
The cow does not like the cat.
("cow" "likes" "cat" "-")
int1
The cat does not like the bear.
Unknown
inv-random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "-")
The cat likes the bald eagle.
Unknown
random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
@0: The bald eagle likes the cat.[(triple1)] The bear is green.[(triple2)] The cat is blue.[(triple3)] The cow is cold.[(triple4)] @1: The cow does not like the cat.[(((triple4) -> rule1))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow does not like the cat.
("cow" "likes" "cat" "-")
((triple4) -> (rule1 % int1))
The cow does not like the cat.
("cow" "likes" "cat" "-")
int1