The bald eagle chases the cow. The bald eagle eats the dog. The bald eagle sees the dog. The cow chases the bald eagle. The cow chases the rabbit. The cow eats the bald eagle. The cow eats the dog. The cow eats the rabbit. The cow is cold. The dog chases the bald eagle. The rabbit chases the dog. The rabbit is round. If someone is green and round then they see the rabbit. If the dog is young then the dog is round. If someone is round and they see the cow then the cow sees the rabbit. If someone is round then they eat the bald eagle. If someone sees the rabbit and they see the bald eagle then the rabbit is green. If the dog chases the rabbit then the dog eats the bald eagle. If someone eats the dog and they eat the rabbit then the rabbit sees the dog. If someone sees the cow then they chase the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is green and round then they see the rabbit.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "sees" "rabbit" "+"))
If the dog is young then the dog is round.
((("dog" "is" "young" "+")) -> ("dog" "is" "round" "+"))
If someone is round and they see the cow then the cow sees the rabbit.
((("someone" "is" "round" "+") ("someone" "sees" "cow" "+")) -> ("cow" "sees" "rabbit" "+"))
If someone is round then they eat the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone sees the rabbit and they see the bald eagle then the rabbit is green.
((("someone" "sees" "rabbit" "+") ("someone" "sees" "bald eagle" "+")) -> ("rabbit" "is" "green" "+"))
If the dog chases the rabbit then the dog eats the bald eagle.
((("dog" "chases" "rabbit" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone eats the dog and they eat the rabbit then the rabbit sees the dog.
((("someone" "eats" "dog" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "sees" "dog" "+"))
If someone sees the cow then they chase the bald eagle.
((("someone" "sees" "cow" "+")) -> ("someone" "chases" "bald eagle" "+"))
The cow eats the dog.
True
1
proof
[(triple7)]
("cow" "eats" "dog" "+")
triple7
The dog does not chase the bald eagle.
False
1
inv-proof
[(triple10)]
("dog" "chases" "bald eagle" "-")
triple10
The rabbit eats the bald eagle.
True
2
proof
[(((triple12) -> rule4))]
("rabbit" "eats" "bald eagle" "+")
((triple12) -> (rule4 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit does not eat the bald eagle.
False
2
inv-proof
[(((triple12) -> rule4))]
("rabbit" "eats" "bald eagle" "-")
((triple12) -> (rule4 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit does not chase the bald eagle.
Unknown
inv-rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The dog eats the bald eagle.
Unknown
rconc
[@2: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("dog" "eats" "bald eagle" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle sees the dog.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the rabbit.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow eats the dog.[(triple7)] The cow eats the rabbit.[(triple8)] The cow is cold.[(triple9)] The dog chases the bald eagle.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit is round.[(triple12)] @1: The rabbit eats the bald eagle.[(((triple12) -> rule4))] The rabbit sees the dog.[(((triple7 triple8) -> rule7))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple5
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple6
The cow eats the dog.
("cow" "eats" "dog" "+")
triple7
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple10
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((triple12) -> (rule4 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
((triple7 triple8) -> (rule7 % int1))
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
int1