The bald eagle chases the tiger. The bald eagle does not eat the cow. The cow is green. The cow is kind. The rabbit is big. The tiger does not eat the rabbit. The tiger sees the bald eagle. If someone chases the bald eagle then they eat the rabbit. If someone is kind then they chase the bald eagle. If someone sees the rabbit then they are not kind. If someone eats the rabbit then the rabbit is kind. If someone sees the tiger and they do not chase the bald eagle then they are not big.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone chases the bald eagle then they eat the rabbit.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is kind then they chase the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone sees the rabbit then they are not kind.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "kind" "-"))
If someone eats the rabbit then the rabbit is kind.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If someone sees the tiger and they do not chase the bald eagle then they are not big.
((("someone" "sees" "tiger" "+") ("someone" "chases" "bald eagle" "~")) -> ("someone" "is" "big" "-"))
The tiger does not eat the rabbit.
True
1
proof
[(triple6)]
("tiger" "eats" "rabbit" "-")
triple6
The tiger does not see the bald eagle.
False
1
inv-proof
[(triple7)]
("tiger" "sees" "bald eagle" "-")
triple7
The cow chases the bald eagle.
True
2
proof
[(((triple4) -> rule2))]
("cow" "chases" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow does not chase the bald eagle.
False
2
inv-proof
[(((triple4) -> rule2))]
("cow" "chases" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow eats the rabbit.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("cow" "eats" "rabbit" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow does not eat the rabbit.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("cow" "eats" "rabbit" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The rabbit is kind.
True
4
proof
[(((((((triple4) -> rule2)) -> rule1)) -> rule4))]
("rabbit" "is" "kind" "+")
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int3
The rabbit is not kind.
False
4
inv-proof
[(((((((triple4) -> rule2)) -> rule1)) -> rule4))]
("rabbit" "is" "kind" "-")
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int3
The rabbit chases the bald eagle.
True
5
proof
[(((((((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule2))]
("rabbit" "chases" "bald eagle" "+")
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The rabbit does not chase the bald eagle.
False
5
inv-proof
[(((((((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule2))]
("rabbit" "chases" "bald eagle" "-")
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The rabbit eats the rabbit.
True
6
proof
[(((((((((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule2)) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int5
The rabbit does not eat the rabbit.
False
6
inv-proof
[(((((((((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule2)) -> rule1))]
("rabbit" "eats" "rabbit" "-")
((((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int5
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@2: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The tiger sees the cow.
Unknown
random
[@0: The tiger sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "cow" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The rabbit chases the cow.
Unknown
random
[@0: The rabbit chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cow" "+")
The rabbit does not see the cow.
Unknown
inv-random
[@0: The rabbit sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
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 bald eagle does not eat the cow.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The rabbit is big.[(triple5)] The tiger does not eat the rabbit.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The cow chases the bald eagle.[(((triple4) -> rule2))] @2: The cow eats the rabbit.[(((((triple4) -> rule2)) -> rule1))] @3: The rabbit is kind.[(((((((triple4) -> rule2)) -> rule1)) -> rule4))] @4: The rabbit chases the bald eagle.[(((((((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule2))] @5: The rabbit eats the rabbit.[(((((((((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule2)) -> rule1))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
triple6
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int5