The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle sees the mouse. The bald eagle does not visit the cow. The bald eagle visits the mouse. The cow chases the mouse. The cow is green. The cow is kind. The cow is nice. The cow sees the bald eagle. The cow sees the mouse. The mouse is nice. The mouse sees the cow. The mouse visits the bald eagle. The mouse visits the cow. If the bald eagle sees the mouse then the mouse visits the bald eagle. If something chases the mouse then it chases the cow. If something visits the bald eagle then it is young. If something sees the bald eagle then it visits the bald eagle. If something is young then it does not chase the bald eagle. If something chases the bald eagle and it does not chase the mouse then the bald eagle visits the cow. If something visits the cow then the cow is young. If the bald eagle does not visit the cow and the cow does not chase the mouse then the mouse sees the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If the bald eagle sees the mouse then the mouse visits the bald eagle.
((("bald eagle" "sees" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If something chases the mouse then it chases the cow.
((("something" "chases" "mouse" "+")) -> ("something" "chases" "cow" "+"))
If something visits the bald eagle then it is young.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something sees the bald eagle then it visits the bald eagle.
((("something" "sees" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is young then it does not chase the bald eagle.
((("something" "is" "young" "+")) -> ("something" "chases" "bald eagle" "-"))
If something chases the bald eagle and it does not chase the mouse then the bald eagle visits the cow.
((("something" "chases" "bald eagle" "+") ("something" "chases" "mouse" "~")) -> ("bald eagle" "visits" "cow" "+"))
If something visits the cow then the cow is young.
((("something" "visits" "cow" "+")) -> ("cow" "is" "young" "+"))
If the bald eagle does not visit the cow and the cow does not chase the mouse then the mouse sees the cow.
((("bald eagle" "visits" "cow" "~") ("cow" "chases" "mouse" "~")) -> ("mouse" "sees" "cow" "+"))
The cow is kind.
True
1
proof
[(triple8)]
("cow" "is" "kind" "+")
triple8
The cow is not nice.
False
1
inv-proof
[(triple9)]
("cow" "is" "nice" "-")
triple9
The cow chases the cow.
True
2
proof
[(((triple6) -> rule2))]
("cow" "chases" "cow" "+")
((triple6) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple14) -> rule3) OR ((((triple3) -> rule1)) -> rule3))]
("mouse" "is" "young" "-")
((triple14) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse does not chase the bald eagle.
True
3
proof
[(((((triple14) -> rule3)) -> rule5) OR ((((((triple3) -> rule1)) -> rule3)) -> rule5))]
("mouse" "chases" "bald eagle" "-")
((((triple14) -> (rule3 % int2))) -> (rule5 % int1))
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The cow chases the bald eagle.
False
3
inv-proof
[(((((triple15) -> rule7)) -> rule5) OR ((((((triple10) -> rule4)) -> rule3)) -> rule5))]
("cow" "chases" "bald eagle" "+")
((((triple15) -> (rule7 % int2))) -> (rule5 % int1))
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The mouse does not chase the cow.
Unknown
inv-rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "cow" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@2: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bald eagle chases the cow.[(triple1 OR ((triple2) -> rule2))] The bald eagle chases the mouse.[(triple2)] The bald eagle does not visit the cow.[(triple4)] The bald eagle sees the mouse.[(triple3)] The bald eagle visits the mouse.[(triple5)] The cow chases the mouse.[(triple6)] The cow is green.[(triple7)] The cow is kind.[(triple8)] The cow is nice.[(triple9)] The cow sees the bald eagle.[(triple10)] The cow sees the mouse.[(triple11)] The mouse is nice.[(triple12)] The mouse sees the cow.[(triple13)] The mouse visits the bald eagle.[(triple14 OR ((triple3) -> rule1))] The mouse visits the cow.[(triple15)] @1: The cow chases the cow.[(((triple6) -> rule2))] The cow is young.[(((triple15) -> rule7) OR ((((triple10) -> rule4)) -> rule3))] The cow visits the bald eagle.[(((triple10) -> rule4))] The mouse is young.[(((triple14) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] @2: The cow does not chase the bald eagle.[(((((triple15) -> rule7)) -> rule5) OR ((((((triple10) -> rule4)) -> rule3)) -> rule5))] The mouse does not chase the bald eagle.[(((((triple14) -> rule3)) -> rule5) OR ((((((triple3) -> rule1)) -> rule3)) -> rule5))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
((triple2) -> (rule2 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple10
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple13
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple14
((triple3) -> (rule1 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple6) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple15) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple10) -> (rule4 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple14) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
((((triple15) -> (rule7 % int2))) -> (rule5 % int1))
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
((((triple14) -> (rule3 % int2))) -> (rule5 % int1))
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3