The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle is cold. The bald eagle sees the cow. The bald eagle sees the tiger. The cow chases the bald eagle. The cow is cold. The tiger is rough. The tiger is young. The tiger sees the cow. If something chases the bald eagle then it is green. If the bald eagle eats the cow then the cow is cold. If something eats the tiger and the tiger sees the cow then the tiger eats the cow. If something eats the tiger and it chases the bald eagle then the tiger is young. If something is rough and it eats the cow then the cow sees the tiger. If something is rough then it sees the cow. All green, cold things are young. If something is young then it chases the tiger.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is cold.
("cow" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If something chases the bald eagle then it is green.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If the bald eagle eats the cow then the cow is cold.
((("bald eagle" "eats" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something eats the tiger and the tiger sees the cow then the tiger eats the cow.
((("something" "eats" "tiger" "+") ("tiger" "sees" "cow" "+")) -> ("tiger" "eats" "cow" "+"))
If something eats the tiger and it chases the bald eagle then the tiger is young.
((("something" "eats" "tiger" "+") ("something" "chases" "bald eagle" "+")) -> ("tiger" "is" "young" "+"))
If something is rough and it eats the cow then the cow sees the tiger.
((("something" "is" "rough" "+") ("something" "eats" "cow" "+")) -> ("cow" "sees" "tiger" "+"))
If something is rough then it sees the cow.
((("something" "is" "rough" "+")) -> ("something" "sees" "cow" "+"))
All green, cold things are young.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is young then it chases the tiger.
((("something" "is" "young" "+")) -> ("something" "chases" "tiger" "+"))
The cow chases the bald eagle.
True
1
proof
[(triple6)]
("cow" "chases" "bald eagle" "+")
triple6
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "chases" "tiger" "-")
triple2
The cow is green.
True
2
proof
[(((triple6) -> rule1))]
("cow" "is" "green" "+")
((triple6) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The tiger does not chase the tiger.
False
2
inv-proof
[(((triple9) -> rule8))]
("tiger" "chases" "tiger" "-")
((triple9) -> (rule8 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The cow is young.
True
4
proof
[(((((triple6) -> rule1) triple7) -> rule7))]
("cow" "is" "young" "+")
((((triple6) -> (rule1 % int2)) triple7) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is not young.
False
4
inv-proof
[(((((triple6) -> rule1) triple7) -> rule7))]
("cow" "is" "young" "-")
((((triple6) -> (rule1 % int2)) triple7) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow chases the tiger.
True
5
proof
[(((((((triple6) -> rule1) triple7) -> rule7)) -> rule8))]
("cow" "chases" "tiger" "+")
((((((triple6) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule8 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow does not chase the tiger.
False
5
inv-proof
[(((((((triple6) -> rule1) triple7) -> rule7)) -> rule8))]
("cow" "chases" "tiger" "-")
((((((triple6) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule8 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow sees the tiger.
Unknown
rconc
[@2: The cow sees the tiger.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("cow" "sees" "tiger" "+")
The tiger does not eat the cow.
Unknown
inv-rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "cow" "-")
The tiger is green.
Unknown
rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "green" "+")
The bald eagle does not eat the tiger.
Unknown
inv-random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
The tiger does not chase the bald eagle.
Unknown
inv-random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the tiger.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is cold.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger sees the cow.[(triple10 OR ((triple8) -> rule6))] @1: The cow is green.[(((triple6) -> rule1))] The tiger chases the tiger.[(((triple9) -> rule8))] @2: The cow is young.[(((((triple6) -> rule1) triple7) -> rule7))] @3: The cow chases the tiger.[(((((((triple6) -> rule1) triple7) -> rule7)) -> rule8))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow is cold.
("cow" "is" "cold" "+")
triple7
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple10
((triple8) -> (rule6 % int1))
The tiger sees the cow.
("tiger" "sees" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((triple6) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple9) -> (rule8 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple6) -> (rule1 % int2)) triple7) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow chases the tiger.
("cow" "chases" "tiger" "+")
((((((triple6) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule8 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3