The bald eagle is young. The bear is big. The bear is green. The dog is big. The dog is round. The dog likes the rabbit. The dog needs the bald eagle. The dog needs the bear. The dog visits the bear. The dog visits the rabbit. The rabbit is big. The rabbit is young. The rabbit likes the bald eagle. The rabbit likes the bear. The rabbit likes the dog. If the rabbit needs the bear then the bear is green. If something needs the dog then the dog is young. If something needs the dog and it needs the bear then the bear is young.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If the rabbit needs the bear then the bear is green.
((("rabbit" "needs" "bear" "+")) -> ("bear" "is" "green" "+"))
If something needs the dog then the dog is young.
((("something" "needs" "dog" "+")) -> ("dog" "is" "young" "+"))
If something needs the dog and it needs the bear then the bear is young.
((("something" "needs" "dog" "+") ("something" "needs" "bear" "+")) -> ("bear" "is" "young" "+"))
The dog visits the rabbit.
True
1
proof
[(triple10)]
("dog" "visits" "rabbit" "+")
triple10
The dog does not need the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "needs" "bald eagle" "-")
triple7
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "young" "-")
The bear visits the dog.
Unknown
random
[@0: The bear visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "dog" "+")
@0: The bald eagle is young.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The dog is big.[(triple4)] The dog is round.[(triple5)] The dog likes the rabbit.[(triple6)] The dog needs the bald eagle.[(triple7)] The dog needs the bear.[(triple8)] The dog visits the bear.[(triple9)] The dog visits the rabbit.[(triple10)] The rabbit is big.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the dog.[(triple15)]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The dog needs the bear.
("dog" "needs" "bear" "+")
triple8
The dog visits the bear.
("dog" "visits" "bear" "+")
triple9
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple15