The bald eagle is big. The dog eats the tiger. The tiger eats the bald eagle. If someone eats the bald eagle and they are big then they like the dog. If someone is big then they eat the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
If someone eats the bald eagle and they are big then they like the dog.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "dog" "+"))
If someone is big then they eat the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "eats" "bald eagle" "+"))
The dog eats the tiger.
True
1
proof
[(triple2)]
("dog" "eats" "tiger" "+")
triple2
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The bald eagle eats the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("bald eagle" "likes" "dog" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not like the dog.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("bald eagle" "likes" "dog" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog eats the bald eagle.
Unknown
rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "bald eagle" "+")
The tiger does not like the dog.
Unknown
inv-rconc
[@1: The tiger likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "dog" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The bald eagle likes the tiger.
Unknown
random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "+")
@0: The bald eagle is big.[(triple1)] The dog eats the tiger.[(triple2)] The tiger eats the bald eagle.[(triple3)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle likes the dog.[(((((triple1) -> rule2) triple1) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2