The bald eagle is not cold. The bald eagle does not see the bear. The bald eagle does not visit the bear. The bear chases the bald eagle. The bear is kind. The bear visits the cow. The cow chases the bald eagle. The cow chases the bear. The cow chases the mouse. The cow is round. The cow does not visit the bear. The cow does not visit the mouse. The mouse chases the bald eagle. The mouse sees the bear. The mouse visits the bear. If someone is round then they are kind. Round people are kind. If someone is cold then they visit the mouse. If someone sees the cow and the cow does not see the bear then the bear sees the cow. If someone sees the cow then they are not blue. If someone sees the bald eagle then they are not round. If someone is round then they see the cow. If someone is kind and not blue then they see the mouse.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold then they visit the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "mouse" "+"))
If someone sees the cow and the cow does not see the bear then the bear sees the cow.
((("someone" "sees" "cow" "+") ("cow" "sees" "bear" "~")) -> ("bear" "sees" "cow" "+"))
If someone sees the cow then they are not blue.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "blue" "-"))
If someone sees the bald eagle then they are not round.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "round" "-"))
If someone is round then they see the cow.
((("someone" "is" "round" "+")) -> ("someone" "sees" "cow" "+"))
If someone is kind and not blue then they see the mouse.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "sees" "mouse" "+"))
The mouse visits the bear.
True
1
proof
[(triple15)]
("mouse" "visits" "bear" "+")
triple15
The bear does not chase the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "chases" "bald eagle" "-")
triple4
The cow sees the cow.
True
2
proof
[(((triple10) -> rule7))]
("cow" "sees" "cow" "+")
((triple10) -> (rule7 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple10) -> rule1) OR ((triple10) -> rule2))]
("cow" "is" "kind" "-")
((triple10) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple10) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not blue.
True
3
proof
[(((((triple10) -> rule7)) -> rule5))]
("cow" "is" "blue" "-")
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is blue.
False
3
inv-proof
[(((((triple10) -> rule7)) -> rule5))]
("cow" "is" "blue" "+")
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow sees the mouse.
True
6
proof
[(((((triple10) -> rule1) ((((triple10) -> rule7)) -> rule5)) -> rule8) OR ((((triple10) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule8))]
("cow" "sees" "mouse" "+")
((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow is not blue.
("cow" "is" "blue" "-")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple10) -> (rule2 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow is not blue.
("cow" "is" "blue" "-")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The cow does not see the mouse.
False
6
inv-proof
[(((((triple10) -> rule1) ((((triple10) -> rule7)) -> rule5)) -> rule8) OR ((((triple10) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule8))]
("cow" "sees" "mouse" "-")
((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow is not blue.
("cow" "is" "blue" "-")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple10) -> (rule2 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow is not blue.
("cow" "is" "blue" "-")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle sees the cow.
Unknown
rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "sees" "cow" "+")
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The mouse sees the cow.
Unknown
rconc
[@1: The mouse sees the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "sees" "cow" "+")
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 bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The cow visits the bald eagle.
Unknown
random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "+")
@0: The bald eagle does not see the bear.[(triple2)] The bald eagle does not visit the bear.[(triple3)] The bald eagle is not cold.[(triple1)] The bear chases the bald eagle.[(triple4)] The bear is kind.[(triple5)] The bear visits the cow.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow chases the bear.[(triple8)] The cow chases the mouse.[(triple9)] The cow does not visit the bear.[(triple11)] The cow does not visit the mouse.[(triple12)] The cow is round.[(triple10)] The mouse chases the bald eagle.[(triple13)] The mouse sees the bear.[(triple14)] The mouse visits the bear.[(triple15)] @1: The cow is kind.[(((triple10) -> rule1) OR ((triple10) -> rule2))] The cow sees the cow.[(((triple10) -> rule7))] @2: The cow is not blue.[(((((triple10) -> rule7)) -> rule5))] @3: The cow sees the mouse.[(((((triple10) -> rule1) ((((triple10) -> rule7)) -> rule5)) -> rule8) OR ((((triple10) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule8))]
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple2
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
triple3
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple9
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple11
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
triple12
The cow is round.
("cow" "is" "round" "+")
triple10
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple13
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15
The cow is kind.
("cow" "is" "kind" "+")
((triple10) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple10) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple10) -> (rule7 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is not blue.
("cow" "is" "blue" "-")
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow is not blue.
("cow" "is" "blue" "-")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple10) -> (rule2 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow is not blue.
("cow" "is" "blue" "-")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4