The bald eagle does not chase the cow. The bald eagle is kind. The bald eagle does not visit the cow. The cow chases the bald eagle. The cow is nice. The cow sees the bald eagle. The cow does not visit the bald eagle. If something chases the cow then it sees the cow. If the bald eagle sees the cow then the cow is kind. If the cow is rough then the cow is kind. If something sees the bald eagle then it chases the cow. If something is rough then it does not see the bald eagle. If something visits the cow then it sees the bald eagle. If the cow sees the bald eagle then the cow chases the bald eagle. If something sees the bald eagle and it does not see the cow then it is nice.
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
If something chases the cow then it sees the cow.
((("something" "chases" "cow" "+")) -> ("something" "sees" "cow" "+"))
If the bald eagle sees the cow then the cow is kind.
((("bald eagle" "sees" "cow" "+")) -> ("cow" "is" "kind" "+"))
If the cow is rough then the cow is kind.
((("cow" "is" "rough" "+")) -> ("cow" "is" "kind" "+"))
If something sees the bald eagle then it chases the cow.
((("something" "sees" "bald eagle" "+")) -> ("something" "chases" "cow" "+"))
If something is rough then it does not see the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "sees" "bald eagle" "-"))
If something visits the cow then it sees the bald eagle.
((("something" "visits" "cow" "+")) -> ("something" "sees" "bald eagle" "+"))
If the cow sees the bald eagle then the cow chases the bald eagle.
((("cow" "sees" "bald eagle" "+")) -> ("cow" "chases" "bald eagle" "+"))
If something sees the bald eagle and it does not see the cow then it is nice.
((("something" "sees" "bald eagle" "+") ("something" "sees" "cow" "~")) -> ("something" "is" "nice" "+"))
The cow chases the bald eagle.
True
1
proof
[(triple4 OR ((triple6) -> rule7))]
("cow" "chases" "bald eagle" "+")
triple4
((triple6) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The bald eagle chases the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The cow chases the cow.
True
2
proof
[(((triple6) -> rule4))]
("cow" "chases" "cow" "+")
((triple6) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple6) -> rule4))]
("cow" "chases" "cow" "-")
((triple6) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow sees the cow.
True
3
proof
[(((((triple6) -> rule4)) -> rule1))]
("cow" "sees" "cow" "+")
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow does not see the cow.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule1))]
("cow" "sees" "cow" "-")
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The bald eagle does not see the cow.
Unknown
inv-rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "cow" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The cow is not kind.
Unknown
inv-rconc
[@2: The cow is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cow" "is" "kind" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle does not visit the cow.[(triple3)] The bald eagle is kind.[(triple2)] The cow chases the bald eagle.[(triple4 OR ((triple6) -> rule7))] The cow does not visit the bald eagle.[(triple7)] The cow is nice.[(triple5)] The cow sees the bald eagle.[(triple6)] @1: The cow chases the cow.[(((triple6) -> rule4))] @2: The cow sees the cow.[(((((triple6) -> rule4)) -> rule1))]
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
triple1
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
((triple6) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple6
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple6) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2