The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is round. The dog chases the rabbit. The dog chases the tiger. The dog eats the rabbit. The dog is nice. The dog is rough. The rabbit is young. The tiger eats the dog. If something chases the rabbit and the rabbit chases the bald eagle then the rabbit needs the bald eagle. If something eats the bald eagle then the bald eagle chases the dog. If something chases the dog then the dog eats the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
If something chases the rabbit and the rabbit chases the bald eagle then the rabbit needs the bald eagle.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If something eats the bald eagle then the bald eagle chases the dog.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If something chases the dog then the dog eats the rabbit.
((("something" "chases" "dog" "+")) -> ("dog" "eats" "rabbit" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "eats" "rabbit" "+")
triple2
The rabbit is not young.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "young" "-")
triple9
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The rabbit chases the tiger.
Unknown
random
[@0: The rabbit chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "tiger" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is round.[(triple3)] The dog chases the rabbit.[(triple4)] The dog chases the tiger.[(triple5)] The dog eats the rabbit.[(triple6)] The dog is nice.[(triple7)] The dog is rough.[(triple8)] The rabbit is young.[(triple9)] The tiger eats the dog.[(triple10)]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple4
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple5
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple10