The bald eagle eats the tiger. The bald eagle is not young. The bald eagle likes the tiger. The bald eagle sees the tiger. The tiger eats the bald eagle. The tiger does not like the bald eagle. The tiger does not see the bald eagle. If someone is young then they like the bald eagle. If someone eats the tiger then they like the bald eagle. If someone is round then they like the bald eagle. If someone is nice then they eat the bald eagle. If someone is big and they see the tiger then they like the tiger. If someone likes the tiger and they like the bald eagle then the tiger is big.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
If someone is young then they like the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the tiger then they like the bald eagle.
((("someone" "eats" "tiger" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is round then they like the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is nice then they eat the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is big and they see the tiger then they like the tiger.
((("someone" "is" "big" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the tiger and they like the bald eagle then the tiger is big.
((("someone" "likes" "tiger" "+") ("someone" "likes" "bald eagle" "+")) -> ("tiger" "is" "big" "+"))
The bald eagle sees the tiger.
True
1
proof
[(triple4)]
("bald eagle" "sees" "tiger" "+")
triple4
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "tiger" "-")
triple4
The bald eagle likes the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The tiger is big.
True
4
proof
[(((triple3 ((triple1) -> rule2)) -> rule6))]
("tiger" "is" "big" "+")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The tiger is not big.
False
4
inv-proof
[(((triple3 ((triple1) -> rule2)) -> rule6))]
("tiger" "is" "big" "-")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is not young.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the tiger.[(triple4)] The tiger does not like the bald eagle.[(triple6)] The tiger does not see the bald eagle.[(triple7)] The tiger eats the bald eagle.[(triple5)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule2))] @2: The tiger is big.[(((triple3 ((triple1) -> rule2)) -> rule6))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple6
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple7
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2