The bald eagle chases the dog. The bald eagle is big. The dog chases the lion. The dog is round. The dog is young. The lion is big. The lion is young. If someone sees the lion and the lion sees the dog then they like the bald eagle. If someone sees the bald eagle and the bald eagle chases the lion then the bald eagle is young. If someone likes the lion then they chase the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is young.
("lion" "is" "young" "+")
If someone sees the lion and the lion sees the dog then they like the bald eagle.
((("someone" "sees" "lion" "+") ("lion" "sees" "dog" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone sees the bald eagle and the bald eagle chases the lion then the bald eagle is young.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "chases" "lion" "+")) -> ("bald eagle" "is" "young" "+"))
If someone likes the lion then they chase the bald eagle.
((("someone" "likes" "lion" "+")) -> ("someone" "chases" "bald eagle" "+"))
The dog is young.
True
1
proof
[(triple5)]
("dog" "is" "young" "+")
triple5
The lion is not big.
False
1
inv-proof
[(triple6)]
("lion" "is" "big" "-")
triple6
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "young" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is big.[(triple2)] The dog chases the lion.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The lion is big.[(triple6)] The lion is young.[(triple7)]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The dog chases the lion.
("dog" "chases" "lion" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7