The bald eagle is green. The cat is green. The cow chases the bald eagle. The cow is blue. The cow likes the cat. The dog chases the cat. The dog sees the bald eagle. If something sees the bald eagle then it is green.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat is green.
("cat" "is" "green" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If something sees the bald eagle then it is green.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "green" "+"))
The dog sees the bald eagle.
True
1
proof
[(triple7)]
("dog" "sees" "bald eagle" "+")
triple7
The cow does not like the cat.
False
1
inv-proof
[(triple5)]
("cow" "likes" "cat" "-")
triple5
The dog is green.
True
2
proof
[(((triple7) -> rule1))]
("dog" "is" "green" "+")
((triple7) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "is" "green" "-")
((triple7) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
The cat does not chase the cow.
Unknown
inv-random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is green.[(triple1)] The cat is green.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow is blue.[(triple4)] The cow likes the cat.[(triple5)] The dog chases the cat.[(triple6)] The dog sees the bald eagle.[(triple7)] @1: The dog is green.[(((triple7) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow likes the cat.
("cow" "likes" "cat" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
((triple7) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1