The bald eagle visits the rabbit. The cow likes the dog. The cow likes the rabbit. The dog likes the cow. The dog visits the bald eagle. The rabbit needs the dog. The rabbit visits the cow. If the bald eagle needs the dog and the bald eagle visits the cow then the bald eagle needs the rabbit. If the bald eagle is green then the bald eagle needs the dog. If someone visits the bald eagle and they need the dog then the bald eagle visits the rabbit. If the rabbit likes the cow and the cow needs the rabbit then the cow visits the rabbit. If someone likes the cow then the cow is kind. If someone needs the dog then they need the cow. If someone needs the cow then they visit the bald eagle. If someone likes the dog and they need the rabbit then the rabbit is big.
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If the bald eagle needs the dog and the bald eagle visits the cow then the bald eagle needs the rabbit.
((("bald eagle" "needs" "dog" "+") ("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "needs" "rabbit" "+"))
If the bald eagle is green then the bald eagle needs the dog.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone visits the bald eagle and they need the dog then the bald eagle visits the rabbit.
((("someone" "visits" "bald eagle" "+") ("someone" "needs" "dog" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If the rabbit likes the cow and the cow needs the rabbit then the cow visits the rabbit.
((("rabbit" "likes" "cow" "+") ("cow" "needs" "rabbit" "+")) -> ("cow" "visits" "rabbit" "+"))
If someone likes the cow then the cow is kind.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "kind" "+"))
If someone needs the dog then they need the cow.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "cow" "+"))
If someone needs the cow then they visit the bald eagle.
((("someone" "needs" "cow" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the dog and they need the rabbit then the rabbit is big.
((("someone" "likes" "dog" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The rabbit visits the cow.
True
1
proof
[(triple7)]
("rabbit" "visits" "cow" "+")
triple7
The cow does not like the rabbit.
False
1
inv-proof
[(triple3)]
("cow" "likes" "rabbit" "-")
triple3
The rabbit needs the cow.
True
2
proof
[(((triple6) -> rule6))]
("rabbit" "needs" "cow" "+")
((triple6) -> (rule6 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple4) -> rule5))]
("cow" "is" "kind" "-")
((triple4) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The rabbit visits the bald eagle.
True
3
proof
[(((((triple6) -> rule6)) -> rule7))]
("rabbit" "visits" "bald eagle" "+")
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The rabbit does not visit the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule7))]
("rabbit" "visits" "bald eagle" "-")
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The dog does not need the cow.
Unknown
inv-rconc
[@1: The dog needs the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "needs" "cow" "-")
The bald eagle needs the dog.
Unknown
rconc
[@1: The bald eagle needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "dog" "+")
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@2: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The rabbit visits the dog.
Unknown
random
[@0: The rabbit visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "dog" "+")
@0: The bald eagle visits the rabbit.[(triple1 OR ((((((triple6) -> rule6)) -> rule7) triple6) -> rule3))] The cow likes the dog.[(triple2)] The cow likes the rabbit.[(triple3)] The dog likes the cow.[(triple4)] The dog visits the bald eagle.[(triple5)] The rabbit needs the dog.[(triple6)] The rabbit visits the cow.[(triple7)] @1: The cow is kind.[(((triple4) -> rule5))] The rabbit needs the cow.[(((triple6) -> rule6))] @2: The rabbit visits the bald eagle.[(((((triple6) -> rule6)) -> rule7))]
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple1
((((((triple6) -> (rule6 % int3))) -> (rule7 % int2)) triple6) -> (rule3 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple3
The dog likes the cow.
("dog" "likes" "cow" "+")
triple4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple5
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple6
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
((triple4) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
((triple6) -> (rule6 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2