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