The bald eagle chases the bear. The bald eagle is blue. The bald eagle sees the cow. The bald eagle visits the bear. The bear is blue. The bear is rough. The cow chases the bald eagle. The cow is rough. The cow is young. The cow sees the bear. The cow visits the dog. The dog is cold. The dog is kind. The dog is young. The dog visits the bald eagle. If the cow sees the bald eagle then the cow chases the bald eagle. If something is cold and it sees the bear then the bear sees the cow. If something chases the bald eagle and it chases the bear then the bald eagle is cold. If something sees the dog and the dog visits the cow then the dog sees the bear. If something sees the cow then the cow is cold. If something sees the bear and the bear sees the cow then it visits the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the bald eagle.
("dog" "visits" "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 is cold and it sees the bear then the bear sees the cow.
((("something" "is" "cold" "+") ("something" "sees" "bear" "+")) -> ("bear" "sees" "cow" "+"))
If something chases the bald eagle and it chases the bear then the bald eagle is cold.
((("something" "chases" "bald eagle" "+") ("something" "chases" "bear" "+")) -> ("bald eagle" "is" "cold" "+"))
If something sees the dog and the dog visits the cow then the dog sees the bear.
((("something" "sees" "dog" "+") ("dog" "visits" "cow" "+")) -> ("dog" "sees" "bear" "+"))
If something sees the cow then the cow is cold.
((("something" "sees" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something sees the bear and the bear sees the cow then it visits the bear.
((("something" "sees" "bear" "+") ("bear" "sees" "cow" "+")) -> ("something" "visits" "bear" "+"))
The dog is kind.
True
1
proof
[(triple13)]
("dog" "is" "kind" "+")
triple13
The cow is not rough.
False
1
inv-proof
[(triple8)]
("cow" "is" "rough" "-")
triple8
The cow is cold.
True
2
proof
[(((triple3) -> rule5))]
("cow" "is" "cold" "+")
((triple3) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is not cold.
False
2
inv-proof
[(((triple3) -> rule5))]
("cow" "is" "cold" "-")
((triple3) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bear sees the cow.
True
4
proof
[(((((triple3) -> rule5) triple10) -> rule2))]
("bear" "sees" "cow" "+")
((((triple3) -> (rule5 % int2)) triple10) -> (rule2 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The bear does not see the cow.
False
4
inv-proof
[(((((triple3) -> rule5) triple10) -> rule2))]
("bear" "sees" "cow" "-")
((((triple3) -> (rule5 % int2)) triple10) -> (rule2 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow visits the bear.
True
6
proof
[(((triple10 ((((triple3) -> rule5) triple10) -> rule2)) -> rule6))]
("cow" "visits" "bear" "+")
((triple10 ((((triple3) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow does not visit the bear.
False
6
inv-proof
[(((triple10 ((((triple3) -> rule5) triple10) -> rule2)) -> rule6))]
("cow" "visits" "bear" "-")
((triple10 ((((triple3) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The dog sees the bear.
Unknown
rconc
[@1: The dog sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "sees" "bear" "+")
The dog does not visit the bear.
Unknown
inv-rconc
[@2: The dog visits the bear.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("dog" "visits" "bear" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "bear" "+")
The bald eagle does not see the bear.
Unknown
inv-random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The bald eagle does not visit the dog.
Unknown
inv-random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "-")
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" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear is blue.[(triple5)] The bear is rough.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow is rough.[(triple8)] The cow is young.[(triple9)] The cow sees the bear.[(triple10)] The cow visits the dog.[(triple11)] The dog is cold.[(triple12)] The dog is kind.[(triple13)] The dog is young.[(triple14)] The dog visits the bald eagle.[(triple15)] @1: The cow is cold.[(((triple3) -> rule5))] @2: The bear sees the cow.[(((((triple3) -> rule5) triple10) -> rule2))] @3: The cow visits the bear.[(((triple10 ((((triple3) -> rule5) triple10) -> rule2)) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
The cow sees the bear.
("cow" "sees" "bear" "+")
triple10
The cow visits the dog.
("cow" "visits" "dog" "+")
triple11
The dog is cold.
("dog" "is" "cold" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple15
The cow is cold.
("cow" "is" "cold" "+")
((triple3) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
((((triple3) -> (rule5 % int2)) triple10) -> (rule2 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow visits the bear.
("cow" "visits" "bear" "+")
((triple10 ((((triple3) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3