The bald eagle chases the tiger. The rabbit eats the tiger. The rabbit is rough. The squirrel eats the bald eagle. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is young. If someone chases the squirrel then they eat the rabbit. If someone eats the rabbit then the rabbit does not see the bald eagle. If someone is cold and they see the rabbit then they chase the squirrel.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone chases the squirrel then they eat the rabbit.
((("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the rabbit then the rabbit does not see the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "-"))
If someone is cold and they see the rabbit then they chase the squirrel.
((("someone" "is" "cold" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "chases" "squirrel" "+"))
The rabbit eats the tiger.
True
1
proof
[(triple2)]
("rabbit" "eats" "tiger" "+")
triple2
The rabbit does not eat the tiger.
False
1
inv-proof
[(triple2)]
("rabbit" "eats" "tiger" "-")
triple2
The tiger eats the rabbit.
True
2
proof
[(((triple6) -> rule1))]
("tiger" "eats" "rabbit" "+")
((triple6) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger does not eat the rabbit.
False
2
inv-proof
[(((triple6) -> rule1))]
("tiger" "eats" "rabbit" "-")
((triple6) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The rabbit does not see the bald eagle.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("rabbit" "sees" "bald eagle" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The rabbit sees the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("rabbit" "sees" "bald eagle" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@2: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit chases the squirrel.
Unknown
rconc
[@1: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The rabbit eats the squirrel.
Unknown
random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The bald eagle chases the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is rough.[(triple3)] The squirrel eats the bald eagle.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger is young.[(triple7)] @1: The tiger eats the rabbit.[(((triple6) -> rule1))] @2: The rabbit does not see the bald eagle.[(((((triple6) -> rule1)) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple4
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple5
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple6
The tiger is young.
("tiger" "is" "young" "+")
triple7
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((triple6) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2