The bald eagle sees the squirrel. The mouse is red. The squirrel likes the bald eagle. The tiger eats the squirrel. If someone likes the tiger and the tiger sees the bald eagle then the tiger likes the squirrel. If someone eats the squirrel then they are young. If someone sees the squirrel and they are young then they eat the tiger. If someone sees the squirrel and the squirrel likes the bald eagle then they eat the squirrel. If someone is red and they do not see the mouse then the mouse likes the bald eagle. If someone eats the bald eagle then the bald eagle does not like the mouse. If someone sees the mouse and they do not eat the tiger then the mouse eats the bald eagle. If the bald eagle does not eat the squirrel then the bald eagle is blue.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
If someone likes the tiger and the tiger sees the bald eagle then the tiger likes the squirrel.
((("someone" "likes" "tiger" "+") ("tiger" "sees" "bald eagle" "+")) -> ("tiger" "likes" "squirrel" "+"))
If someone eats the squirrel then they are young.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "young" "+"))
If someone sees the squirrel and they are young then they eat the tiger.
((("someone" "sees" "squirrel" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "tiger" "+"))
If someone sees the squirrel and the squirrel likes the bald eagle then they eat the squirrel.
((("someone" "sees" "squirrel" "+") ("squirrel" "likes" "bald eagle" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is red and they do not see the mouse then the mouse likes the bald eagle.
((("someone" "is" "red" "+") ("someone" "sees" "mouse" "~")) -> ("mouse" "likes" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle does not like the mouse.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "-"))
If someone sees the mouse and they do not eat the tiger then the mouse eats the bald eagle.
((("someone" "sees" "mouse" "+") ("someone" "eats" "tiger" "~")) -> ("mouse" "eats" "bald eagle" "+"))
If the bald eagle does not eat the squirrel then the bald eagle is blue.
((("bald eagle" "eats" "squirrel" "~")) -> ("bald eagle" "is" "blue" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "likes" "bald eagle" "+")
triple3
The mouse is not red.
False
1
inv-proof
[(triple2)]
("mouse" "is" "red" "-")
triple2
The tiger is young.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "is" "young" "+")
((triple4) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "is" "young" "-")
((triple4) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The bald eagle is young.
True
4
proof
[(((((triple1 triple3) -> rule4)) -> rule2))]
("bald eagle" "is" "young" "+")
((((triple1 triple3) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The bald eagle is not young.
False
4
inv-proof
[(((((triple1 triple3) -> rule4)) -> rule2))]
("bald eagle" "is" "young" "-")
((((triple1 triple3) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The bald eagle eats the tiger.
True
6
proof
[(((triple1 ((((triple1 triple3) -> rule4)) -> rule2)) -> rule3))]
("bald eagle" "eats" "tiger" "+")
((triple1 ((((triple1 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The bald eagle does not eat the tiger.
False
6
inv-proof
[(((triple1 ((((triple1 triple3) -> rule4)) -> rule2)) -> rule3))]
("bald eagle" "eats" "tiger" "-")
((triple1 ((((triple1 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The squirrel is young.
Unknown
rconc
[@2: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("squirrel" "is" "young" "+")
The bald eagle does not like the mouse.
Unknown
inv-random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The tiger does not like the bald eagle.
Unknown
inv-random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The mouse is red.[(triple2)] The squirrel likes the bald eagle.[(triple3)] The tiger eats the squirrel.[(triple4)] @1: The bald eagle eats the squirrel.[(((triple1 triple3) -> rule4))] The tiger is young.[(((triple4) -> rule2))] @2: The bald eagle is young.[(((((triple1 triple3) -> rule4)) -> rule2))] @3: The bald eagle eats the tiger.[(((triple1 ((((triple1 triple3) -> rule4)) -> rule2)) -> rule3))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The mouse is red.
("mouse" "is" "red" "+")
triple2
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple1 triple3) -> (rule4 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple4) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple1 triple3) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple1 ((((triple1 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3