The bald eagle likes the tiger. The dog eats the bald eagle. The tiger is young. If something eats the bald eagle and the bald eagle chases the tiger then it eats the tiger. If something likes the bald eagle and the bald eagle does not chase the tiger then it eats the tiger. If something is young and it chases the tiger then the tiger is blue.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something eats the bald eagle and the bald eagle chases the tiger then it eats the tiger.
((("something" "eats" "bald eagle" "+") ("bald eagle" "chases" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
If something likes the bald eagle and the bald eagle does not chase the tiger then it eats the tiger.
((("something" "likes" "bald eagle" "+") ("bald eagle" "chases" "tiger" "~")) -> ("something" "eats" "tiger" "+"))
If something is young and it chases the tiger then the tiger is blue.
((("something" "is" "young" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple2)]
("dog" "eats" "bald eagle" "+")
triple2
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "tiger" "-")
triple1
The dog does not eat the tiger.
Unknown
inv-rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle likes the tiger.[(triple1)] The dog eats the bald eagle.[(triple2)] The tiger is young.[(triple3)]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The tiger is young.
("tiger" "is" "young" "+")
triple3