The bald eagle eats the dog. The dog eats the bald eagle. The tiger likes the dog. If someone likes the dog then the dog chases the tiger. Cold, big people are green. If someone likes the tiger then the tiger is big. If the bald eagle chases the tiger and the tiger eats the dog then the tiger eats the bald eagle. If someone likes the bald eagle and the bald eagle is cold then the bald eagle likes the tiger. If someone chases the tiger then the tiger is red.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone likes the dog then the dog chases the tiger.
((("someone" "likes" "dog" "+")) -> ("dog" "chases" "tiger" "+"))
Cold, big people are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone likes the tiger then the tiger is big.
((("someone" "likes" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If the bald eagle chases the tiger and the tiger eats the dog then the tiger eats the bald eagle.
((("bald eagle" "chases" "tiger" "+") ("tiger" "eats" "dog" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle is cold then the bald eagle likes the tiger.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If someone chases the tiger then the tiger is red.
((("someone" "chases" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple2)]
("dog" "eats" "bald eagle" "+")
triple2
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "eats" "bald eagle" "-")
triple2
The dog chases the tiger.
True
2
proof
[(((triple3) -> rule1))]
("dog" "chases" "tiger" "+")
((triple3) -> (rule1 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The dog does not chase the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "chases" "tiger" "-")
((triple3) -> (rule1 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The tiger is red.
True
3
proof
[(((((triple3) -> rule1)) -> rule6))]
("tiger" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The tiger is not red.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule6))]
("tiger" "is" "red" "-")
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "-")
The tiger is big.
Unknown
rconc
[@2: The tiger is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("tiger" "is" "big" "+")
The tiger does not eat the bald eagle.
Unknown
inv-rconc
[@1: The tiger eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "eats" "bald eagle" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] The tiger likes the dog.[(triple3)] @1: The dog chases the tiger.[(((triple3) -> rule1))] @2: The tiger is red.[(((((triple3) -> rule1)) -> rule6))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple3
The dog chases the tiger.
("dog" "chases" "tiger" "+")
((triple3) -> (rule1 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2