The bald eagle chases the rabbit. The dog chases the rabbit. The dog is green. The dog is young. The dog likes the bald eagle. The dog likes the rabbit. The dog sees the rabbit. The rabbit chases the bald eagle. The rabbit is cold. The rabbit sees the bald eagle. If someone chases the bald eagle then they are red. If someone chases the bald eagle and they chase the rabbit then the rabbit chases the dog. If the rabbit is kind and the rabbit chases the dog then the dog sees the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone chases the bald eagle then they are red.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone chases the bald eagle and they chase the rabbit then the rabbit chases the dog.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
If the rabbit is kind and the rabbit chases the dog then the dog sees the bald eagle.
((("rabbit" "is" "kind" "+") ("rabbit" "chases" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
The rabbit is red.
True
2
proof
[(((triple8) -> rule1))]
("rabbit" "is" "red" "+")
((triple8) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple8) -> rule1))]
("rabbit" "is" "red" "-")
((triple8) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is green.[(triple3)] The dog is young.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog likes the rabbit.[(triple6)] The dog sees the rabbit.[(triple7)] The rabbit chases the bald eagle.[(triple8)] The rabbit is cold.[(triple9)] The rabbit sees the bald eagle.[(triple10)] @1: The rabbit is red.[(((triple8) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple7
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
((triple8) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1