The bald eagle chases the cat. The bald eagle is big. The bald eagle is round. The bald eagle sees the tiger. The bear chases the bald eagle. The bear is round. The bear likes the bald eagle. The bear likes the cat. The bear sees the tiger. The cat chases the tiger. The cat is green. The cat sees the bear. The cat sees the tiger. The tiger is big. The tiger likes the bear. The tiger likes the cat. If something likes the tiger and the tiger chases the bear then the bear is big. If something chases the tiger and it likes the bear then the bear chases the cat. If something sees the tiger and it is cold then it is green.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If something likes the tiger and the tiger chases the bear then the bear is big.
((("something" "likes" "tiger" "+") ("tiger" "chases" "bear" "+")) -> ("bear" "is" "big" "+"))
If something chases the tiger and it likes the bear then the bear chases the cat.
((("something" "chases" "tiger" "+") ("something" "likes" "bear" "+")) -> ("bear" "chases" "cat" "+"))
If something sees the tiger and it is cold then it is green.
((("something" "sees" "tiger" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
The tiger likes the bear.
True
1
proof
[(triple15)]
("tiger" "likes" "bear" "+")
triple15
The bald eagle is not round.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "round" "-")
triple3
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "green" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the tiger.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear is round.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the cat.[(triple8)] The bear sees the tiger.[(triple9)] The cat chases the tiger.[(triple10)] The cat is green.[(triple11)] The cat sees the bear.[(triple12)] The cat sees the tiger.[(triple13)] The tiger is big.[(triple14)] The tiger likes the bear.[(triple15)] The tiger likes the cat.[(triple16)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear likes the cat.
("bear" "likes" "cat" "+")
triple8
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple9
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
triple11
The cat sees the bear.
("cat" "sees" "bear" "+")
triple12
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple13
The tiger is big.
("tiger" "is" "big" "+")
triple14
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple15
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple16