The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle sees the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow sees the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog eats the cow. The dog is kind. The dog is rough. The dog sees the bald eagle. The dog sees the cow. If someone sees the dog and they eat the dog then they see the cow. If someone is cold then they see the bald eagle. If someone eats the dog then the dog eats the bald eagle. If the bald eagle sees the dog and the dog is cold then the bald eagle chases the cow. All rough people are cold. If someone is green and kind then they see the cow. If someone chases the cow then the cow sees the bald eagle. If someone chases the cow then they are rough.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If someone sees the dog and they eat the dog then they see the cow.
((("someone" "sees" "dog" "+") ("someone" "eats" "dog" "+")) -> ("someone" "sees" "cow" "+"))
If someone is cold then they see the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the dog then the dog eats the bald eagle.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
If the bald eagle sees the dog and the dog is cold then the bald eagle chases the cow.
((("bald eagle" "sees" "dog" "+") ("dog" "is" "cold" "+")) -> ("bald eagle" "chases" "cow" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and kind then they see the cow.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "cow" "+"))
If someone chases the cow then the cow sees the bald eagle.
((("someone" "chases" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone chases the cow then they are rough.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "rough" "+"))
The bald eagle sees the cow.
True
1
proof
[(triple5)]
("bald eagle" "sees" "cow" "+")
triple5
The bald eagle does not eat the cow.
False
1
inv-proof
[(triple3)]
("bald eagle" "eats" "cow" "-")
triple3
The cow sees the bald eagle.
True
2
proof
[(((triple1) -> rule7))]
("cow" "sees" "bald eagle" "+")
((triple1) -> (rule7 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow does not see the bald eagle.
False
2
inv-proof
[(((triple1) -> rule7))]
("cow" "sees" "bald eagle" "-")
((triple1) -> (rule7 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle is cold.
True
3
proof
[(((((triple1) -> rule8)) -> rule5))]
("bald eagle" "is" "cold" "+")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is not cold.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule5))]
("bald eagle" "is" "cold" "-")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle sees the bald eagle.
True
4
proof
[(((((((triple1) -> rule8)) -> rule5)) -> rule2))]
("bald eagle" "sees" "bald eagle" "+")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle does not see the bald eagle.
False
4
inv-proof
[(((((((triple1) -> rule8)) -> rule5)) -> rule2))]
("bald eagle" "sees" "bald eagle" "-")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow is cold.
Unknown
rconc
[@2: The cow is cold.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("cow" "is" "cold" "+")
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "rough" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The cow eats the dog.
Unknown
random
[@0: The cow eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "dog" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle eats the dog.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow sees the dog.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog eats the bald eagle.[(triple10 OR ((triple4) -> rule3))] The dog eats the cow.[(triple11)] The dog is kind.[(triple12)] The dog is rough.[(triple13)] The dog sees the bald eagle.[(triple14 OR ((((triple13) -> rule5)) -> rule2))] The dog sees the cow.[(triple15)] @1: The bald eagle is rough.[(((triple1) -> rule8))] The cow sees the bald eagle.[(((triple1) -> rule7))] The dog is cold.[(((triple13) -> rule5))] @2: The bald eagle is cold.[(((((triple1) -> rule8)) -> rule5))] @3: The bald eagle sees the bald eagle.[(((((((triple1) -> rule8)) -> rule5)) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
The cow sees the dog.
("cow" "sees" "dog" "+")
triple8
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple9
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple10
((triple4) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
triple11
The dog is kind.
("dog" "is" "kind" "+")
triple12
The dog is rough.
("dog" "is" "rough" "+")
triple13
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple14
((((triple13) -> (rule5 % int2))) -> (rule2 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple1) -> (rule7 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((triple13) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3