The bald eagle is green. The bear chases the bald eagle. The dog likes the rabbit. The rabbit needs the bald eagle. If the bear is young and the bear likes the bald eagle then the bald eagle likes the rabbit. If something is young and it needs the dog then it is nice. If something is green and nice then it likes the bear. If something likes the rabbit then it needs the rabbit. If something likes the dog and it is nice then the dog is big. If something needs the rabbit and the rabbit chases the bear then it is big.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If the bear is young and the bear likes the bald eagle then the bald eagle likes the rabbit.
((("bear" "is" "young" "+") ("bear" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If something is young and it needs the dog then it is nice.
((("something" "is" "young" "+") ("something" "needs" "dog" "+")) -> ("something" "is" "nice" "+"))
If something is green and nice then it likes the bear.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "likes" "bear" "+"))
If something likes the rabbit then it needs the rabbit.
((("something" "likes" "rabbit" "+")) -> ("something" "needs" "rabbit" "+"))
If something likes the dog and it is nice then the dog is big.
((("something" "likes" "dog" "+") ("something" "is" "nice" "+")) -> ("dog" "is" "big" "+"))
If something needs the rabbit and the rabbit chases the bear then it is big.
((("something" "needs" "rabbit" "+") ("rabbit" "chases" "bear" "+")) -> ("something" "is" "big" "+"))
The bear chases the bald eagle.
True
1
proof
[(triple2)]
("bear" "chases" "bald eagle" "+")
triple2
The rabbit does not need the bald eagle.
False
1
inv-proof
[(triple4)]
("rabbit" "needs" "bald eagle" "-")
triple4
The dog needs the rabbit.
True
2
proof
[(((triple3) -> rule4))]
("dog" "needs" "rabbit" "+")
((triple3) -> (rule4 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog does not need the rabbit.
False
2
inv-proof
[(((triple3) -> rule4))]
("dog" "needs" "rabbit" "-")
((triple3) -> (rule4 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "big" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "nice" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bear chases the bald eagle.[(triple2)] The dog likes the rabbit.[(triple3)] The rabbit needs the bald eagle.[(triple4)] @1: The dog needs the rabbit.[(((triple3) -> rule4))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple3) -> (rule4 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1