The bald eagle eats the tiger. The dog chases the bald eagle. The tiger is kind. If something eats the dog and it is nice then it visits the bald eagle. If something chases the tiger then the tiger eats the bald eagle. If something visits the dog then the dog visits the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something eats the dog and it is nice then it visits the bald eagle.
((("something" "eats" "dog" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "bald eagle" "+"))
If something chases the tiger then the tiger eats the bald eagle.
((("something" "chases" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If something visits the dog then the dog visits the tiger.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "tiger" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple2)]
("dog" "chases" "bald eagle" "+")
triple2
The tiger is not kind.
False
1
inv-proof
[(triple3)]
("tiger" "is" "kind" "-")
triple3
The dog does not visit the tiger.
Unknown
inv-rconc
[@1: The dog visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "tiger" "-")
The bald eagle eats the dog.
Unknown
random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "+")
@0: The bald eagle eats the tiger.[(triple1)] The dog chases the bald eagle.[(triple2)] The tiger is kind.[(triple3)]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3