The bald eagle is green. The bald eagle is not red. The bald eagle sees the tiger. The cow is cold. The cow is red. The rabbit is young. The tiger does not see the rabbit. If something chases the rabbit then the rabbit chases the tiger. If something is cold then it does not like the bald eagle. If something sees the rabbit and it sees the bald eagle then the bald eagle sees the rabbit. If something chases the rabbit then it chases the bald eagle. If something chases the tiger then it chases the rabbit. If the bald eagle is green then the bald eagle chases the tiger.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
If something chases the rabbit then the rabbit chases the tiger.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "tiger" "+"))
If something is cold then it does not like the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "likes" "bald eagle" "-"))
If something sees the rabbit and it sees the bald eagle then the bald eagle sees the rabbit.
((("something" "sees" "rabbit" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If something chases the rabbit then it chases the bald eagle.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the tiger then it chases the rabbit.
((("something" "chases" "tiger" "+")) -> ("something" "chases" "rabbit" "+"))
If the bald eagle is green then the bald eagle chases the tiger.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "chases" "tiger" "+"))
The cow is cold.
True
1
proof
[(triple4)]
("cow" "is" "cold" "+")
triple4
The rabbit is not young.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "young" "-")
triple6
The bald eagle chases the tiger.
True
2
proof
[(((triple1) -> rule6))]
("bald eagle" "chases" "tiger" "+")
((triple1) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle does not chase the tiger.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "chases" "tiger" "-")
((triple1) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle chases the rabbit.
True
3
proof
[(((((triple1) -> rule6)) -> rule5))]
("bald eagle" "chases" "rabbit" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle does not chase the rabbit.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule5))]
("bald eagle" "chases" "rabbit" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The rabbit chases the tiger.
True
4
proof
[(((((((triple1) -> rule6)) -> rule5)) -> rule1))]
("rabbit" "chases" "tiger" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The bald eagle does not chase the bald eagle.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule5)) -> rule4))]
("bald eagle" "chases" "bald eagle" "-")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The rabbit chases the rabbit.
True
5
proof
[(((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule5))]
("rabbit" "chases" "rabbit" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int4
The rabbit does not chase the rabbit.
False
5
inv-proof
[(((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule5))]
("rabbit" "chases" "rabbit" "-")
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int4
The rabbit chases the bald eagle.
True
6
proof
[(((((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule5)) -> rule4))]
("rabbit" "chases" "bald eagle" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int5
The rabbit does not chase the bald eagle.
False
6
inv-proof
[(((((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule5)) -> rule4))]
("rabbit" "chases" "bald eagle" "-")
((((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int5
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@2: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The tiger chases the rabbit.
Unknown
rconc
[@1: The tiger chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "chases" "rabbit" "+")
The cow does not chase the rabbit.
Unknown
inv-rconc
[@1: The cow chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "chases" "rabbit" "-")
The tiger chases the bald eagle.
Unknown
rconc
[@2: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("tiger" "chases" "bald eagle" "+")
The bald eagle does not see the rabbit.
Unknown
inv-rconc
[@1: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The cow does not see the bald eagle.
Unknown
inv-random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "-")
The cow chases the tiger.
Unknown
random
[@0: The cow chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "tiger" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The tiger sees the cow.
Unknown
random
[@0: The tiger sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "cow" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle sees the tiger.[(triple3)] The cow is cold.[(triple4)] The cow is red.[(triple5)] The rabbit is young.[(triple6)] The tiger does not see the rabbit.[(triple7)] @1: The bald eagle chases the tiger.[(((triple1) -> rule6))] The cow does not like the bald eagle.[(((triple4) -> rule2))] @2: The bald eagle chases the rabbit.[(((((triple1) -> rule6)) -> rule5))] @3: The bald eagle chases the bald eagle.[(((((((triple1) -> rule6)) -> rule5)) -> rule4))] The rabbit chases the tiger.[(((((((triple1) -> rule6)) -> rule5)) -> rule1))] @4: The rabbit chases the rabbit.[(((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule5))] @5: The rabbit chases the bald eagle.[(((((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule5)) -> rule4))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
triple7
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((triple1) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int4
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int5